runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15190 MiB free)
memory of node 1: 16384 MiB (14381 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272594-1502768796/watcher-4272594-1502768796 -o /tmp/evaluation-result-4272594-1502768796/solver-4272594-1502768796 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1857006980 HOME/instance-4272594-1502768796.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24785, runsolver pid=24782
Current StackSize limit: 8192 KiB
[startup+0.100154 s]*
/proc/loadavg: 2.13 1.86 1.75 3/204 24792
/proc/meminfo: memFree=30276012/32770624 swapFree=67108860/67108860
[pid=24785] ppid=24782 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24785/stat : 24785 (xcsp3-exec) S 24782 24785 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 30762233 9740288 344 18446744073709551615 4194304 5098028 140721420651712 140721420649816 140622300832380 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 7536640 140721420657017 140721420657222 140721420657222 140721420660715 0
/proc/24785/statm: 2378 344 289 221 0 87 0
[pid=24787] ppid=24785 vsize=13441356 memory=15688 CPUtime=0.01 cores=0,2,4,6
/proc/24787/stat : 24787 (java) S 24785 24785 7968 0 -1 1077944320 3679 0 0 0 1 0 0 0 20 0 7 0 30762241 13763948544 3922 18446744073709551615 4194304 4196468 140735854859216 140735854841760 139782986325751 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
/proc/24787/statm: 3360339 3922 2003 1 0 3349836 0
[pid=24787/tid=24788] ppid=24785 vsize=13441356 memory=7078076838863583841 CPUtime=0.01 cores=0,2,4,6
/proc/24787/task/24788/stat : 24788 (java) R 24785 24785 7968 0 -1 4202560 2445 0 0 0 1 0 0 0 20 0 7 0 30762241 13763948544 3922 18446744073709551615 4194304 4196468 140735854859216 139782990568208 139782968226224 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24789] ppid=24785 vsize=13441356 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24789/stat : 24789 (java) S 24785 24785 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 30762242 13763948544 3922 18446744073709551615 4194304 4196468 140735854859216 139782943292176 139782986335957 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24790] ppid=24785 vsize=13441356 memory=140570589251200 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24790/stat : 24790 (java) S 24785 24785 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 30762242 13763948544 3922 18446744073709551615 4194304 4196468 140735854859216 139782942239632 139782986335957 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24791] ppid=24785 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24791/stat : 24791 (java) S 24785 24785 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 30762242 13763948544 3922 18446744073709551615 4194304 4196468 140735854859216 139782941187088 139782986335957 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24792] ppid=24785 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24792/stat : 24792 (java) S 24785 24785 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 30762242 13763948544 3922 18446744073709551615 4194304 4196468 140735854859216 139782940134544 139782986335957 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24793] ppid=24785 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24793/stat : 24793 (java) S 24785 24785 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 30762243 13763948544 3922 18446744073709551615 4194304 4196468 140735854859216 139782531999728 139782986336898 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 17064 KiB
[startup+0.210045 s]*
/proc/loadavg: 2.13 1.86 1.75 3/213 24801
/proc/meminfo: memFree=30266064/32770624 swapFree=67108860/67108860
[pid=24785] ppid=24782 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24785/stat : 24785 (xcsp3-exec) S 24782 24785 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 30762233 9740288 344 18446744073709551615 4194304 5098028 140721420651712 140721420649816 140622300832380 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 7536640 140721420657017 140721420657222 140721420657222 140721420660715 0
/proc/24785/statm: 2378 344 289 221 0 87 0
[pid=24787] ppid=24785 vsize=13974352 memory=27452 CPUtime=0.1 cores=0,2,4,6
/proc/24787/stat : 24787 (java) S 24785 24785 7968 0 -1 1077944320 5280 0 0 0 9 1 0 0 20 0 15 0 30762241 14309736448 6863 18446744073709551615 4194304 4196468 140735854859216 140735854841760 139782986325751 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
/proc/24787/statm: 3493588 6863 2755 1 0 3482964 0
[pid=24787/tid=24788] ppid=24785 vsize=13974352 memory=7078076838863583841 CPUtime=0.07 cores=0,2,4,6
/proc/24787/task/24788/stat : 24788 (java) R 24785 24785 7968 0 -1 4202560 3421 0 0 0 7 0 0 0 20 0 15 0 30762241 14309736448 6863 18446744073709551615 4194304 4196468 140735854859216 139782990564656 139782986347677 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24789] ppid=24785 vsize=13974352 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24789/stat : 24789 (java) S 24785 24785 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30762242 14309736448 6863 18446744073709551615 4194304 4196468 140735854859216 139782943292176 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24790] ppid=24785 vsize=13974352 memory=140570589251200 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24790/stat : 24790 (java) S 24785 24785 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30762242 14309736448 6863 18446744073709551615 4194304 4196468 140735854859216 139782942239632 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24791] ppid=24785 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24791/stat : 24791 (java) S 24785 24785 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30762242 14309736448 6863 18446744073709551615 4194304 4196468 140735854859216 139782941187088 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24792] ppid=24785 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24792/stat : 24792 (java) S 24785 24785 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30762242 14309736448 6863 18446744073709551615 4194304 4196468 140735854859216 139782940134544 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24793] ppid=24785 vsize=13974352 memory=140570589251200 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24793/stat : 24793 (java) S 24785 24785 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30762243 14309736448 6863 18446744073709551615 4194304 4196468 140735854859216 139782531999728 139782986336898 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24794] ppid=24785 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24794/stat : 24794 (java) S 24785 24785 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 30762244 14309736448 6863 18446744073709551615 4194304 4196468 140735854859216 139782530945952 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24795] ppid=24785 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24795/stat : 24795 (java) S 24785 24785 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 30762244 14309736448 6863 18446744073709551615 4194304 4196468 140735854859216 139782462104560 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24796] ppid=24785 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24796/stat : 24796 (java) S 24785 24785 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30762247 14309736448 6863 18446744073709551615 4194304 4196468 140735854859216 139782461053136 139782986344347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24797] ppid=24785 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24797/stat : 24797 (java) S 24785 24785 7968 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 30762247 14309736448 6863 18446744073709551615 4194304 4196468 140735854859216 139782460000752 139782986336898 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24798] ppid=24785 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24798/stat : 24798 (java) S 24785 24785 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 30762247 14309736448 6863 18446744073709551615 4194304 4196468 140735854859216 139782458948208 139782986336898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24799] ppid=24785 vsize=13974352 memory=140570589251200 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24799/stat : 24799 (java) S 24785 24785 7968 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 15 0 30762247 14309736448 6863 18446744073709551615 4194304 4196468 140735854859216 139782457895664 139782986336898 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24800] ppid=24785 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24800/stat : 24800 (java) S 24785 24785 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30762247 14309736448 6863 18446744073709551615 4194304 4196468 140735854859216 139782456843360 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24801] ppid=24785 vsize=13974352 memory=140570589251200 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24801/stat : 24801 (java) S 24785 24785 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30762251 14309736448 6863 18446744073709551615 4194304 4196468 140735854859216 139782455789872 139782986336898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28828 KiB
[startup+0.313455 s]*
/proc/loadavg: 2.13 1.86 1.75 4/213 24801
/proc/meminfo: memFree=30255656/32770624 swapFree=67108860/67108860
[pid=24785] ppid=24782 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24785/stat : 24785 (xcsp3-exec) S 24782 24785 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 30762233 9740288 344 18446744073709551615 4194304 5098028 140721420651712 140721420649816 140622300832380 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 7536640 140721420657017 140721420657222 140721420657222 140721420660715 0
/proc/24785/statm: 2378 344 289 221 0 87 0
[pid=24787] ppid=24785 vsize=13974352 memory=39476 CPUtime=0.31 cores=0,2,4,6
/proc/24787/stat : 24787 (java) S 24785 24785 7968 0 -1 1077944320 9090 0 0 0 28 3 0 0 20 0 15 0 30762241 14309736448 9869 18446744073709551615 4194304 4196468 140735854859216 140735854841760 139782986325751 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
/proc/24787/statm: 3493588 9869 2984 1 0 3482964 0
[pid=24787/tid=24788] ppid=24785 vsize=13974352 memory=4278483708103473607 CPUtime=0.18 cores=0,2,4,6
/proc/24787/task/24788/stat : 24788 (java) R 24785 24785 7968 0 -1 4202560 6254 0 0 0 16 2 0 0 20 0 15 0 30762241 14309736448 9869 18446744073709551615 4194304 4196468 140735854859216 139782990559552 139782986337686 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24789] ppid=24785 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24789/stat : 24789 (java) S 24785 24785 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30762242 14309736448 9869 18446744073709551615 4194304 4196468 140735854859216 139782943292176 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24790] ppid=24785 vsize=13974352 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24790/stat : 24790 (java) S 24785 24785 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30762242 14309736448 9869 18446744073709551615 4194304 4196468 140735854859216 139782942239632 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24791] ppid=24785 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24791/stat : 24791 (java) S 24785 24785 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30762242 14309736448 9869 18446744073709551615 4194304 4196468 140735854859216 139782941187088 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24792] ppid=24785 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24792/stat : 24792 (java) S 24785 24785 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30762242 14309736448 9869 18446744073709551615 4194304 4196468 140735854859216 139782940134544 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24793] ppid=24785 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24793/stat : 24793 (java) S 24785 24785 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30762243 14309736448 9869 18446744073709551615 4194304 4196468 140735854859216 139782531999728 139782986336898 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24794] ppid=24785 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24794/stat : 24794 (java) S 24785 24785 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 30762244 14309736448 9869 18446744073709551615 4194304 4196468 140735854859216 139782530945952 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24795] ppid=24785 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24795/stat : 24795 (java) S 24785 24785 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 30762244 14309736448 9869 18446744073709551615 4194304 4196468 140735854859216 139782462104560 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24796] ppid=24785 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24796/stat : 24796 (java) S 24785 24785 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30762247 14309736448 9869 18446744073709551615 4194304 4196468 140735854859216 139782461053136 139782986344347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24797] ppid=24785 vsize=13974352 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/24787/task/24797/stat : 24797 (java) S 24785 24785 7968 0 -1 1077944384 724 0 0 0 3 0 0 0 20 0 15 0 30762247 14309736448 9869 18446744073709551615 4194304 4196468 140735854859216 139782460000752 139782986336898 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24798] ppid=24785 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/24787/task/24798/stat : 24798 (java) S 24785 24785 7968 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 15 0 30762247 14309736448 9869 18446744073709551615 4194304 4196468 140735854859216 139782458948208 139782986336898 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24799] ppid=24785 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/24787/task/24799/stat : 24799 (java) R 24785 24785 7968 0 -1 4202560 760 0 0 0 6 0 0 0 20 0 15 0 30762247 14309736448 9869 18446744073709551615 4194304 4196468 140735854859216 139782457895760 139782965461253 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24800] ppid=24785 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24800/stat : 24800 (java) S 24785 24785 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30762247 14309736448 9869 18446744073709551615 4194304 4196468 140735854859216 139782456843360 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24801] ppid=24785 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24801/stat : 24801 (java) S 24785 24785 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30762251 14309736448 9869 18446744073709551615 4194304 4196468 140735854859216 139782455789872 139782986336898 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40852 KiB
[startup+0.701598 s]
/proc/loadavg: 2.13 1.86 1.75 4/213 24801
/proc/meminfo: memFree=30241588/32770624 swapFree=67108860/67108860
[pid=24785] ppid=24782 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24785/stat : 24785 (xcsp3-exec) S 24782 24785 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 30762233 9740288 344 18446744073709551615 4194304 5098028 140721420651712 140721420649816 140622300832380 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 7536640 140721420657017 140721420657222 140721420657222 140721420660715 0
/proc/24785/statm: 2378 344 289 221 0 87 0
[pid=24787] ppid=24785 vsize=13978684 memory=124392 CPUtime=1.22 cores=0,2,4,6
/proc/24787/stat : 24787 (java) S 24785 24785 7968 0 -1 1077944320 12987 0 0 0 117 5 0 0 20 0 15 0 30762241 14314172416 31098 18446744073709551615 4194304 4196468 140735854859216 140735854841760 139782986325751 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
/proc/24787/statm: 3494671 31098 3156 1 0 3482964 0
[pid=24787/tid=24788] ppid=24785 vsize=13978684 memory=7667474453987678049 CPUtime=0.56 cores=0,2,4,6
/proc/24787/task/24788/stat : 24788 (java) R 24785 24785 7968 0 -1 4202560 7864 0 0 0 53 3 0 0 20 0 15 0 30762241 14314172416 31098 18446744073709551615 4194304 4196468 140735854859216 139782990562272 139782615825818 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24789] ppid=24785 vsize=13978684 memory=7595416881407809377 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24789/stat : 24789 (java) S 24785 24785 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30762242 14314172416 31098 18446744073709551615 4194304 4196468 140735854859216 139782943292176 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24790] ppid=24785 vsize=13978684 memory=7595725831727968097 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24790/stat : 24790 (java) S 24785 24785 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30762242 14314172416 31098 18446744073709551615 4194304 4196468 140735854859216 139782942239632 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24791] ppid=24785 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24791/stat : 24791 (java) S 24785 24785 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30762242 14314172416 31098 18446744073709551615 4194304 4196468 140735854859216 139782941187088 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24792] ppid=24785 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24792/stat : 24792 (java) S 24785 24785 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30762242 14314172416 31098 18446744073709551615 4194304 4196468 140735854859216 139782940134544 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24793] ppid=24785 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24793/stat : 24793 (java) S 24785 24785 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 30762243 14314172416 31098 18446744073709551615 4194304 4196468 140735854859216 139782531999728 139782986336898 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24794] ppid=24785 vsize=13978684 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24794/stat : 24794 (java) S 24785 24785 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 30762244 14314172416 31098 18446744073709551615 4194304 4196468 140735854859216 139782530945952 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24795] ppid=24785 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24795/stat : 24795 (java) S 24785 24785 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 30762244 14314172416 31098 18446744073709551615 4194304 4196468 140735854859216 139782462104560 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24796] ppid=24785 vsize=13978684 memory=140570454401648 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24796/stat : 24796 (java) S 24785 24785 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30762247 14314172416 31098 18446744073709551615 4194304 4196468 140735854859216 139782461053136 139782986344347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24797] ppid=24785 vsize=13978684 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/24787/task/24797/stat : 24797 (java) R 24785 24785 7968 0 -1 4202560 1531 0 0 0 22 0 0 0 20 0 15 0 30762247 14314172416 31098 18446744073709551615 4194304 4196468 140735854859216 139782459986632 139782971451118 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24798] ppid=24785 vsize=13978684 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/24787/task/24798/stat : 24798 (java) R 24785 24785 7968 0 -1 4202560 785 0 0 0 19 0 0 0 20 0 15 0 30762247 14314172416 31098 18446744073709551615 4194304 4196468 140735854859216 139782458934776 139782969712736 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24799] ppid=24785 vsize=13978684 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/24787/task/24799/stat : 24799 (java) S 24785 24785 7968 0 -1 1077944384 1503 0 0 0 22 0 0 0 20 0 15 0 30762247 14314172416 31098 18446744073709551615 4194304 4196468 140735854859216 139782457895664 139782986336898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24800] ppid=24785 vsize=13978684 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24800/stat : 24800 (java) S 24785 24785 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30762247 14314172416 31098 18446744073709551615 4194304 4196468 140735854859216 139782456843360 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24801] ppid=24785 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24801/stat : 24801 (java) S 24785 24785 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30762251 14314172416 31098 18446744073709551615 4194304 4196468 140735854859216 139782455789872 139782986336898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 125768 KiB
[startup+1.50961 s]
/proc/loadavg: 2.13 1.86 1.75 3/213 24801
/proc/meminfo: memFree=30092704/32770624 swapFree=67108860/67108860
[pid=24785] ppid=24782 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24785/stat : 24785 (xcsp3-exec) S 24782 24785 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 30762233 9740288 344 18446744073709551615 4194304 5098028 140721420651712 140721420649816 140622300832380 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 7536640 140721420657017 140721420657222 140721420657222 140721420660715 0
/proc/24785/statm: 2378 344 289 221 0 87 0
[pid=24787] ppid=24785 vsize=13978684 memory=203612 CPUtime=2.54 cores=0,2,4,6
/proc/24787/stat : 24787 (java) S 24785 24785 7968 0 -1 1077944320 13494 0 0 0 246 8 0 0 20 0 15 0 30762241 14314172416 50903 18446744073709551615 4194304 4196468 140735854859216 140735854841760 139782986325751 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
/proc/24787/statm: 3494671 50903 3189 1 0 3482964 0
[pid=24787/tid=24788] ppid=24785 vsize=13978684 memory=19160 CPUtime=1.35 cores=0,2,4,6
/proc/24787/task/24788/stat : 24788 (java) R 24785 24785 7968 0 -1 4202560 8003 0 0 0 131 4 0 0 20 0 15 0 30762241 14314172416 50903 18446744073709551615 4194304 4196468 140735854859216 139782990561440 139782616911850 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24789] ppid=24785 vsize=13978684 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24789/stat : 24789 (java) S 24785 24785 7968 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 30762242 14314172416 50903 18446744073709551615 4194304 4196468 140735854859216 139782943292176 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24790] ppid=24785 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24790/stat : 24790 (java) S 24785 24785 7968 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 30762242 14314172416 50903 18446744073709551615 4194304 4196468 140735854859216 139782942239632 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24791] ppid=24785 vsize=13978684 memory=-1624781813439352349 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24791/stat : 24791 (java) S 24785 24785 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 30762242 14314172416 50903 18446744073709551615 4194304 4196468 140735854859216 139782941187088 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24792] ppid=24785 vsize=13978684 memory=-7880843606118635149 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24792/stat : 24792 (java) S 24785 24785 7968 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 30762242 14314172416 50903 18446744073709551615 4194304 4196468 140735854859216 139782940134544 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24793] ppid=24785 vsize=13978684 memory=8976414709404591081 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24793/stat : 24793 (java) S 24785 24785 7968 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 30762243 14314172416 50903 18446744073709551615 4194304 4196468 140735854859216 139782531999728 139782986336898 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24794] ppid=24785 vsize=13978684 memory=8330969454845486047 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/24787/task/24789/stat : 24789 (java) S 24785 24785 7968 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 30762242 14316269568 50972 18446744073709551615 4194304 4196468 140735854859216 139782943292176 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24790] ppid=24785 vsize=13980732 memory=140570454408384 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24790/stat : 24790 (java) S 24785 24785 7968 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 30762242 14316269568 50972 18446744073709551615 4194304 4196468 140735854859216 139782942239632 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24791] ppid=24785 vsize=13980732 memory=140570454408416 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24791/stat : 24791 (java) S 24785 24785 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 30762242 14316269568 50972 18446744073709551615 4194304 4196468 140735854859216 139782941187088 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24792] ppid=24785 vsize=13980732 memory=140570454609248 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24792/stat : 24792 (java) S 24785 24785 7968 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 30762242 14316269568 50972 18446744073709551615 4194304 4196468 140735854859216 139782940134544 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24793] ppid=24785 vsize=13980732 memory=56 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24793/stat : 24793 (java) S 24785 24785 7968 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 30762243 14316269568 50972 18446744073709551615 4194304 4196468 140735854859216 139782531999728 139782986336898 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24794] ppid=24785 vsize=13980732 memory=11830 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24794/stat : 24794 (java) S 24785 24785 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 30762244 14316269568 50972 18446744073709551615 4194304 4196468 140735854859216 139782530945952 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24795] ppid=24785 vsize=13980732 memory=20825 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24795/stat : 24795 (java) S 24785 24785 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 30762244 14316269568 50972 18446744073709551615 4194304 4196468 140735854859216 139782462104560 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24796] ppid=24785 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24796/stat : 24796 (java) S 24785 24785 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30762247 14316269568 50972 18446744073709551615 4194304 4196468 140735854859216 139782461053136 139782986344347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24797] ppid=24785 vsize=13980732 memory=-1088251628401078322 CPUtime=0.44 cores=0,2,4,6
/proc/24787/task/24797/stat : 24797 (java) S 24785 24785 7968 0 -1 1077944384 1606 0 0 0 44 0 0 0 20 0 15 0 30762247 14316269568 50972 18446744073709551615 4194304 4196468 140735854859216 139782460000752 139782986336898 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24798] ppid=24785 vsize=13980732 memory=6944656592387989600 CPUtime=0.44 cores=0,2,4,6
/proc/24787/task/24798/stat : 24798 (java) S 24785 24785 7968 0 -1 1077944384 849 0 0 0 44 0 0 0 20 0 15 0 30762247 14316269568 50972 18446744073709551615 4194304 4196468 140735854859216 139782458948208 139782986336898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24799] ppid=24785 vsize=13980732 memory=33 CPUtime=0.3 cores=0,2,4,6
/proc/24787/task/24799/stat : 24799 (java) S 24785 24785 7968 0 -1 1077944384 1638 0 0 0 30 0 0 0 20 0 15 0 30762247 14316269568 50972 18446744073709551615 4194304 4196468 140735854859216 139782457895664 139782986336898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24800] ppid=24785 vsize=13980732 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24800/stat : 24800 (java) S 24785 24785 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30762247 14316269568 50972 18446744073709551615 4194304 4196468 140735854859216 139782456843360 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24801] ppid=24785 vsize=13980732 memory=6944656592452807316 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24801/stat : 24801 (java) S 24785 24785 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 30762251 14316269568 50972 18446744073709551615 4194304 4196468 140735854859216 139782455789872 139782986336898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
Current children cumulated CPU time: 4.22 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 205264 KiB
[startup+6.30856 s]
/proc/loadavg: 2.04 1.85 1.75 3/213 24802
/proc/meminfo: memFree=30043832/32770624 swapFree=67108860/67108860
[pid=24785] ppid=24782 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24785/stat : 24785 (xcsp3-exec) S 24782 24785 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 30762233 9740288 344 18446744073709551615 4194304 5098028 140721420651712 140721420649816 140622300832380 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 7536640 140721420657017 140721420657222 140721420657222 140721420660715 0
/proc/24785/statm: 2378 344 289 221 0 87 0
[pid=24787] ppid=24785 vsize=13980732 memory=263924 CPUtime=9.95 cores=0,2,4,6
/proc/24787/stat : 24787 (java) S 24785 24785 7968 0 -1 1077944320 22963 0 0 0 982 13 0 0 20 0 15 0 30762241 14316269568 65981 18446744073709551615 4194304 4196468 140735854859216 140735854841760 139782986325751 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
/proc/24787/statm: 3495183 65981 3230 1 0 3483476 0
[pid=24787/tid=24788] ppid=24785 vsize=13980732 memory=4124 CPUtime=6.11 cores=0,2,4,6
/proc/24787/task/24788/stat : 24788 (java) R 24785 24785 7968 0 -1 4202560 10480 0 0 0 606 5 0 0 20 0 15 0 30762241 14316269568 65981 18446744073709551615 4194304 4196468 140735854859216 139782990564480 139782617799586 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24789] ppid=24785 vsize=13980732 memory=1376 CPUtime=0.03 cores=0,2,4,6
/proc/24787/task/24789/stat : 24789 (java) S 24785 24785 7968 0 -1 1077944384 112 0 0 0 3 0 0 0 20 0 15 0 30762242 14316269568 65981 18446744073709551615 4194304 4196468 140735854859216 139782943292176 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24790] ppid=24785 vsize=13980732 memory=288230574492221466 CPUtime=0.04 cores=0,2,4,6
/proc/24787/task/24790/stat : 24790 (java) S 24785 24785 7968 0 -1 1077944384 54 0 0 0 3 1 0 0 20 0 15 0 30762242 14316269568 65981 18446744073709551615 4194304 4196468 140735854859216 139782942239632 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24791] ppid=24785 vsize=13980732 memory=1376 CPUtime=0.04 cores=0,2,4,6
/proc/24787/task/24791/stat : 24791 (java) S 24785 24785 7968 0 -1 1077944384 26 0 0 0 3 1 0 0 20 0 15 0 30762242 14316269568 65981 18446744073709551615 4194304 4196468 140735854859216 139782941187088 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24792] ppid=24785 vsize=13980732 memory=262884 CPUtime=0.04 cores=0,2,4,6
/proc/24787/task/24792/stat : 24792 (java) S 24785 24785 7968 0 -1 1077944384 67 0 0 0 3 1 0 0 20 0 15 0 30762242 14316269568 65981 18446744073709551615 4194304 4196468 140735854859216 139782940134544 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24793] ppid=24785 vsize=13980732 memory=202652 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24793/stat : 24793 (java) S 24785 24785 7968 0 -1 1077944384 402 0 0 0 0 0 0 0 20 0 15 0 30762243 14316269568 65981 18446744073709551615 4194304 4196468 140735854859216 139782531999728 139782986336898 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24794] ppid=24785 vsize=13980732 memory=19160 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24794/stat : 24794 (java) S 24785 24785 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 30762244 14316269568 65981 18446744073709551615 4194304 4196468 140735854859216 139782530946016 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24795] ppid=24785 vsize=13980732 memory=2424 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24795/stat : 24795 (java) S 24785 24785 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 30762244 14316269568 65981 18446744073709551615 4194304 4196468 140735854859216 139782462104576 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24796] ppid=24785 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24796/stat : 24796 (java) S 24785 24785 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30762247 14316269568 65981 18446744073709551615 4194304 4196468 140735854859216 139782461053136 139782986344347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24797] ppid=24785 vsize=13980732 memory=1376 CPUtime=1.44 cores=0,2,4,6
/proc/24787/task/24797/stat : 24797 (java) R 24785 24785 7968 0 -1 4202560 3560 0 0 0 144 0 0 0 20 0 15 0 30762247 14316269568 65981 18446744073709551615 4194304 4196468 140735854859216 139782460001048 139782971451616 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24798] ppid=24785 vsize=13980732 memory=263308 CPUtime=1.62 cores=0,2,4,6
/proc/24787/task/24798/stat : 24798 (java) S 24785 24785 7968 0 -1 1077944384 3767 0 0 0 162 0 0 0 20 0 15 0 30762247 14316269568 65981 18446744073709551615 4194304 4196468 140735854859216 139782458948208 139782986336898 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24799] ppid=24785 vsize=13980732 memory=1200 CPUtime=0.54 cores=0,2,4,6
/proc/24787/task/24799/stat : 24799 (java) S 24785 24785 7968 0 -1 1077944384 3175 0 0 0 53 1 0 0 20 0 15 0 30762247 14316269568 65981 18446744073709551615 4194304 4196468 140735854859216 139782457895664 139782986336898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24800] ppid=24785 vsize=13980732 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24800/stat : 24800 (java) S 24785 24785 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30762247 14316269568 65981 18446744073709551615 4194304 4196468 140735854859216 139782456843360 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24801] ppid=24785 vsize=13980732 memory=2424 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24801/stat : 24801 (java) S 24785 24785 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 30762251 14316269568 65981 18446744073709551615 4194304 4196468 140735854859216 139782455789872 139782986336898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
Current children cumulated CPU time: 9.95 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 265300 KiB
[startup+12.7009 s]
/proc/loadavg: 2.20 1.88 1.76 2/192 24850
/proc/meminfo: memFree=30801768/32770624 swapFree=67108860/67108860
[pid=24785] ppid=24782 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24785/stat : 24785 (xcsp3-exec) S 24782 24785 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 30762233 9740288 344 18446744073709551615 4194304 5098028 140721420651712 140721420649816 140622300832380 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 7536640 140721420657017 140721420657222 140721420657222 140721420660715 0
/proc/24785/statm: 2378 344 289 221 0 87 0
[pid=24787] ppid=24785 vsize=13980732 memory=386336 CPUtime=18.36 cores=0,2,4,6
/proc/24787/stat : 24787 (java) S 24785 24785 7968 0 -1 1077944320 38544 0 0 0 1818 18 0 0 20 0 15 0 30762241 14316269568 96584 18446744073709551615 4194304 4196468 140735854859216 140735854841760 139782986325751 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
/proc/24787/statm: 3495183 96584 3235 1 0 3483476 0
[pid=24787/tid=24788] ppid=24785 vsize=13980732 memory=-1 CPUtime=12.5 cores=0,2,4,6
/proc/24787/task/24788/stat : 24788 (java) R 24785 24785 7968 0 -1 4202560 11377 0 0 0 1243 7 0 0 20 0 15 0 30762241 14316269568 96584 18446744073709551615 4194304 4196468 140735854859216 139782990562480 139782618149238 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24789] ppid=24785 vsize=13980732 memory=140570454983376 CPUtime=0.03 cores=0,2,4,6
/proc/24787/task/24789/stat : 24789 (java) S 24785 24785 7968 0 -1 1077944384 112 0 0 0 3 0 0 0 20 0 15 0 30762242 14316269568 96584 18446744073709551615 4194304 4196468 140735854859216 139782943292176 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24790] ppid=24785 vsize=13980732 memory=1376 CPUtime=0.04 cores=0,2,4,6
/proc/24787/task/24790/stat : 24790 (java) S 24785 24785 7968 0 -1 1077944384 54 0 0 0 3 1 0 0 20 0 15 0 30762242 14316269568 96584 18446744073709551615 4194304 4196468 140735854859216 139782942239632 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24791] ppid=24785 vsize=13980732 memory=365796 CPUtime=0.04 cores=0,2,4,6
/proc/24787/task/24791/stat : 24791 (java) S 24785 24785 7968 0 -1 1077944384 26 0 0 0 3 1 0 0 20 0 15 0 30762242 14316269568 96584 18446744073709551615 4194304 4196468 140735854859216 139782941187088 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24792] ppid=24785 vsize=13980732 memory=281140909760992 CPUtime=0.04 cores=0,2,4,6
/proc/24787/task/24792/stat : 24792 (java) S 24785 24785 7968 0 -1 1077944384 67 0 0 0 3 1 0 0 20 0 15 0 30762242 14316269568 96584 18446744073709551615 4194304 4196468 140735854859216 139782940134544 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24793] ppid=24785 vsize=13980732 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24793/stat : 24793 (java) S 24785 24785 7968 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 15 0 30762243 14316269568 96584 18446744073709551615 4194304 4196468 140735854859216 139782531999728 139782986336898 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24794] ppid=24785 vsize=13980732 memory=56 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24794/stat : 24794 (java) S 24785 24785 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 30762244 14316269568 96584 18446744073709551615 4194304 4196468 140735854859216 139782530946016 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24795] ppid=24785 vsize=13980732 memory=7301863769920595564 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24795/stat : 24795 (java) S 24785 24785 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 30762244 14316269568 96584 18446744073709551615 4194304 4196468 140735854859216 139782462104576 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24796] ppid=24785 vsize=13980732 memory=30 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24796/stat : 24796 (java) S 24785 24785 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30762247 14316269568 96584 18446744073709551615 4194304 4196468 140735854859216 139782461053136 139782986344347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24797] ppid=24785 vsize=13980732 memory=0 CPUtime=2.42 cores=0,2,4,6
/proc/24787/task/24797/stat : 24797 (java) S 24785 24785 7968 0 -1 1077944384 11829 0 0 0 241 1 0 0 20 0 15 0 30762247 14316269568 96584 18446744073709551615 4194304 4196468 140735854859216 139782460000752 139782986336898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24798] ppid=24785 vsize=13980732 memory=0 CPUtime=2.61 cores=0,2,4,6
/proc/24787/task/24798/stat : 24798 (java) S 24785 24785 7968 0 -1 1077944384 9057 0 0 0 260 1 0 0 20 0 15 0 30762247 14316269568 96584 18446744073709551615 4194304 4196468 140735854859216 139782458948208 139782986336898 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24799] ppid=24785 vsize=13980732 memory=164 CPUtime=0.58 cores=0,2,4,6
/proc/24787/task/24799/stat : 24799 (java) S 24785 24785 7968 0 -1 1077944384 3540 0 0 0 57 1 0 0 20 0 15 0 30762247 14316269568 96584 18446744073709551615 4194304 4196468 140735854859216 139782457895664 139782986336898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24800] ppid=24785 vsize=13980732 memory=-7965959131087871952 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24800/stat : 24800 (java) S 24785 24785 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30762247 14316269568 96584 18446744073709551615 4194304 4196468 140735854859216 139782456843360 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24801] ppid=24785 vsize=13980732 memory=1399103955517074243 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24801/stat : 24801 (java) S 24785 24785 7968 0 -1 1077944384 745 0 0 0 0 0 0 0 20 0 15 0 30762251 14316269568 96584 18446744073709551615 4194304 4196468 140735854859216 139782455789872 139782986336898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
Current children cumulated CPU time: 18.36 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 387712 KiB
[startup+12.8722 s]
# the end of solver process 24785 was just reported to runsolver
# cumulated CPU time of all completed processes: user=18.3512 s, system=0.195033 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8011 s]
/proc/loadavg: 2.20 1.88 1.76 2/192 24850
/proc/meminfo: memFree=30801768/32770624 swapFree=67108860/67108860
[pid=24785] ppid=24782 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24785/stat : 24785 (xcsp3-exec) S 24782 24785 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 30762233 9740288 344 18446744073709551615 4194304 5098028 140721420651712 140721420649816 140622300832380 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 7536640 140721420657017 140721420657222 140721420657222 140721420660715 0
/proc/24785/statm: 2378 344 289 221 0 87 0
[pid=24787] ppid=24785 vsize=13980732 memory=388384 CPUtime=18.46 cores=0,2,4,6
/proc/24787/stat : 24787 (java) S 24785 24785 7968 0 -1 1077944320 38546 0 0 0 1828 18 0 0 20 0 15 0 30762241 14316269568 97096 18446744073709551615 4194304 4196468 140735854859216 140735854841760 139782986325751 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
/proc/24787/statm: 3495183 97096 3235 1 0 3483476 0
[pid=24787/tid=24788] ppid=24785 vsize=13980732 memory=353500 CPUtime=12.6 cores=0,2,4,6
/proc/24787/task/24788/stat : 24788 (java) R 24785 24785 7968 0 -1 4202560 11379 0 0 0 1253 7 0 0 20 0 15 0 30762241 14316269568 97096 18446744073709551615 4194304 4196468 140735854859216 139782990562480 139782617799650 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24789] ppid=24785 vsize=13980732 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/24787/task/24789/stat : 24789 (java) S 24785 24785 7968 0 -1 1077944384 112 0 0 0 3 0 0 0 20 0 15 0 30762242 14316269568 97096 18446744073709551615 4194304 4196468 140735854859216 139782943292176 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24790] ppid=24785 vsize=13980732 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/24787/task/24790/stat : 24790 (java) S 24785 24785 7968 0 -1 1077944384 54 0 0 0 3 1 0 0 20 0 15 0 30762242 14316269568 97096 18446744073709551615 4194304 4196468 140735854859216 139782942239632 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24791] ppid=24785 vsize=13980732 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/24787/task/24791/stat : 24791 (java) S 24785 24785 7968 0 -1 1077944384 26 0 0 0 3 1 0 0 20 0 15 0 30762242 14316269568 97096 18446744073709551615 4194304 4196468 140735854859216 139782941187088 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24792] ppid=24785 vsize=13980732 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/24787/task/24792/stat : 24792 (java) S 24785 24785 7968 0 -1 1077944384 67 0 0 0 3 1 0 0 20 0 15 0 30762242 14316269568 97096 18446744073709551615 4194304 4196468 140735854859216 139782940134544 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24793] ppid=24785 vsize=13980732 memory=6155973655007751269 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24793/stat : 24793 (java) S 24785 24785 7968 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 15 0 30762243 14316269568 97096 18446744073709551615 4194304 4196468 140735854859216 139782531999728 139782986336898 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24794] ppid=24785 vsize=13980732 memory=667680 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24794/stat : 24794 (java) S 24785 24785 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 30762244 14316269568 97096 18446744073709551615 4194304 4196468 140735854859216 139782530946016 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24795] ppid=24785 vsize=13980732 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24795/stat : 24795 (java) S 24785 24785 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 30762244 14316269568 97096 18446744073709551615 4194304 4196468 140735854859216 139782462104576 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24796] ppid=24785 vsize=13980732 memory=19160 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24796/stat : 24796 (java) S 24785 24785 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30762247 14316269568 97096 18446744073709551615 4194304 4196468 140735854859216 139782461053136 139782986344347 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24797] ppid=24785 vsize=13980732 memory=2424 CPUtime=2.42 cores=0,2,4,6
/proc/24787/task/24797/stat : 24797 (java) S 24785 24785 7968 0 -1 1077944384 11829 0 0 0 241 1 0 0 20 0 15 0 30762247 14316269568 97096 18446744073709551615 4194304 4196468 140735854859216 139782460000752 139782986336898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24798] ppid=24785 vsize=13980732 memory=1296 CPUtime=2.61 cores=0,2,4,6
/proc/24787/task/24798/stat : 24798 (java) S 24785 24785 7968 0 -1 1077944384 9057 0 0 0 260 1 0 0 20 0 15 0 30762247 14316269568 97096 18446744073709551615 4194304 4196468 140735854859216 139782458948208 139782986336898 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24799] ppid=24785 vsize=13980732 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/24787/task/24799/stat : 24799 (java) S 24785 24785 7968 0 -1 1077944384 3540 0 0 0 57 1 0 0 20 0 15 0 30762247 14316269568 97096 18446744073709551615 4194304 4196468 140735854859216 139782457895664 139782986336898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24800] ppid=24785 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24800/stat : 24800 (java) S 24785 24785 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 30762247 14316269568 97096 18446744073709551615 4194304 4196468 140735854859216 139782456843360 139782986335957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
[pid=24787/tid=24801] ppid=24785 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24787/task/24801/stat : 24801 (java) S 24785 24785 7968 0 -1 1077944384 745 0 0 0 0 0 0 0 20 0 15 0 30762251 14316269568 97096 18446744073709551615 4194304 4196468 140735854859216 139782455789872 139782986336898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37474304 140735854862770 140735854862946 140735854862946 140735854866383 0
Current children cumulated CPU time: 18.46 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 389760 KiB
Child status: 0
Real time (s): 12.8723
CPU time (s): 18.5462
CPU user time (s): 18.3512
CPU system time (s): 0.195033
CPU usage (%): 144.079
Max. virtual memory (cumulated for all children) (KiB): 13992264
Max. memory (cumulated for all children) (KiB): 389760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.3512
system time used= 0.195033
maximum resident set size= 388912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39537
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3136
involuntary context switches= 137
# summary of solver processes directly reported to runsolver:
# pid: 24785
# total CPU time (s): 18.5462
# total CPU user time (s): 18.3512
# total CPU system time (s): 0.195033
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.105105 second user time and 0.163703 second system time
The end