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 (14769 MiB free)
memory of node 1: 16384 MiB (15427 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270120-1502622513/watcher-4270120-1502622513 -o /tmp/evaluation-result-4270120-1502622513/solver-4270120-1502622513 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502615132-20542 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 651710219 HOME/instance-4270120-1502622513.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=25688, runsolver pid=25685
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 2.08 2.06 1.97 2/186 25698
/proc/meminfo: memFree=31136636/32770624 swapFree=67108860/67108860
[pid=25688] ppid=25685 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25688/stat : 25688 (xcsp3-exec) S 25685 25688 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64472031 9740288 345 18446744073709551615 4194304 5098028 140730039054128 140730039052232 140644938195580 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 10510336 140730039062911 140730039063114 140730039063114 140730039066603 0
/proc/25688/statm: 2378 345 289 221 0 87 0
[pid=25692] ppid=25688 vsize=13574484 memory=18456 CPUtime=0.02 cores=1,3,5,7
/proc/25692/stat : 25692 (java) S 25688 25688 897 0 -1 1077944320 3963 0 0 0 2 0 0 0 20 0 9 0 64472038 13900271616 4614 18446744073709551615 4194304 4196468 140724857571248 140724857553792 140684969197303 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
/proc/25692/statm: 3393621 4614 2064 1 0 3383118 0
[pid=25692/tid=25693] ppid=25688 vsize=13574484 memory=8318255677412212789 CPUtime=0.02 cores=1,3,5,7
/proc/25692/task/25693/stat : 25693 (java) R 25688 25688 897 0 -1 4202560 2678 0 0 0 2 0 0 0 20 0 9 0 64472039 13900271616 4678 18446744073709551615 4194304 4196468 140724857571248 140684973433448 140684951655616 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25694] ppid=25688 vsize=13574484 memory=328 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25694/stat : 25694 (java) S 25688 25688 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64472039 13900271616 4678 18446744073709551615 4194304 4196468 140724857571248 140684888611472 140684969207509 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25695] ppid=25688 vsize=13574484 memory=288371080831825536 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25695/stat : 25695 (java) S 25688 25688 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64472039 13900271616 4678 18446744073709551615 4194304 4196468 140724857571248 140684887558672 140684969207509 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25696] ppid=25688 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25696/stat : 25696 (java) S 25688 25688 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64472039 13900271616 4678 18446744073709551615 4194304 4196468 140724857571248 140684886505872 140684969207509 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25697] ppid=25688 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25697/stat : 25697 (java) S 25688 25688 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64472039 13900271616 4678 18446744073709551615 4194304 4196468 140724857571248 140684885453072 140684969207509 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25698] ppid=25688 vsize=13574484 memory=140704680113792 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25698/stat : 25698 (java) S 25688 25688 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64472041 13900271616 4678 18446744073709551615 4194304 4196468 140724857571248 140684447714160 140684969208450 0 0 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25699] ppid=25688 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25699/stat : 25699 (java) S 25688 25688 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 64472041 13900271616 4678 18446744073709551615 4194304 4196468 140724857571248 140684446660128 140684969207509 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25700] ppid=25688 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25700/stat : 25700 (java) S 25688 25688 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 64472041 13900271616 4678 18446744073709551615 4194304 4196468 140724857571248 140684445607344 140684969207509 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19836 KiB
[startup+0.20974 s]*
/proc/loadavg: 2.08 2.06 1.97 2/191 25707
/proc/meminfo: memFree=31131632/32770624 swapFree=67108860/67108860
[pid=25688] ppid=25685 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25688/stat : 25688 (xcsp3-exec) S 25685 25688 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64472031 9740288 345 18446744073709551615 4194304 5098028 140730039054128 140730039052232 140644938195580 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 10510336 140730039062911 140730039063114 140730039063114 140730039066603 0
/proc/25688/statm: 2378 345 289 221 0 87 0
[pid=25692] ppid=25688 vsize=13974352 memory=26928 CPUtime=0.09 cores=1,3,5,7
/proc/25692/stat : 25692 (java) S 25688 25688 897 0 -1 1077944320 5180 0 0 0 8 1 0 0 20 0 15 0 64472038 14309736448 6732 18446744073709551615 4194304 4196468 140724857571248 140724857553792 140684969197303 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
/proc/25692/statm: 3493588 6732 2727 1 0 3482964 0
[pid=25692/tid=25693] ppid=25688 vsize=13974352 memory=8316850467074736180 CPUtime=0.06 cores=1,3,5,7
/proc/25692/task/25693/stat : 25693 (java) R 25688 25688 897 0 -1 4202560 3328 0 0 0 6 0 0 0 20 0 15 0 64472039 14309736448 6732 18446744073709551615 4194304 4196468 140724857571248 140684973422992 140684969219229 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25694] ppid=25688 vsize=13974352 memory=12615 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25694/stat : 25694 (java) S 25688 25688 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64472039 14309736448 6732 18446744073709551615 4194304 4196468 140724857571248 140684888611472 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25695] ppid=25688 vsize=13974352 memory=288371080831825536 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25695/stat : 25695 (java) S 25688 25688 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64472039 14309736448 6732 18446744073709551615 4194304 4196468 140724857571248 140684887558672 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25696] ppid=25688 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25696/stat : 25696 (java) S 25688 25688 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64472039 14309736448 6732 18446744073709551615 4194304 4196468 140724857571248 140684886505872 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25697] ppid=25688 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25697/stat : 25697 (java) S 25688 25688 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64472039 14309736448 6732 18446744073709551615 4194304 4196468 140724857571248 140684885453072 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25698] ppid=25688 vsize=13974352 memory=140704680113792 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25698/stat : 25698 (java) S 25688 25688 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64472041 14309736448 6732 18446744073709551615 4194304 4196468 140724857571248 140684447714160 140684969208450 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25699] ppid=25688 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25699/stat : 25699 (java) S 25688 25688 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64472041 14309736448 6732 18446744073709551615 4194304 4196468 140724857571248 140684446660128 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25700] ppid=25688 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25700/stat : 25700 (java) S 25688 25688 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64472041 14309736448 6732 18446744073709551615 4194304 4196468 140724857571248 140684445607280 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25701] ppid=25688 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25701/stat : 25701 (java) S 25688 25688 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64472044 14309736448 6732 18446744073709551615 4194304 4196468 140724857571248 140684444555600 140684969215899 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25702] ppid=25688 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25702/stat : 25702 (java) S 25688 25688 897 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 64472044 14309736448 6732 18446744073709551615 4194304 4196468 140724857571248 140684443502960 140684969208450 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25703] ppid=25688 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25703/stat : 25703 (java) S 25688 25688 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64472044 14309736448 6732 18446744073709551615 4194304 4196468 140724857571248 140684442450160 140684969208450 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25704] ppid=25688 vsize=13974352 memory=140704680113792 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25704/stat : 25704 (java) S 25688 25688 897 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 15 0 64472044 14309736448 6732 18446744073709551615 4194304 4196468 140724857571248 140684441397360 140684969208450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25705] ppid=25688 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25705/stat : 25705 (java) S 25688 25688 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64472044 14309736448 6732 18446744073709551615 4194304 4196468 140724857571248 140684440344800 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25706] ppid=25688 vsize=13974352 memory=140704680113792 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25706/stat : 25706 (java) S 25688 25688 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64472050 14309736448 6732 18446744073709551615 4194304 4196468 140724857571248 140684439293104 140684969208450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28308 KiB
[startup+0.309993 s]*
/proc/loadavg: 2.08 2.06 1.97 4/192 25715
/proc/meminfo: memFree=31118464/32770624 swapFree=67108860/67108860
[pid=25688] ppid=25685 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25688/stat : 25688 (xcsp3-exec) S 25685 25688 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64472031 9740288 345 18446744073709551615 4194304 5098028 140730039054128 140730039052232 140644938195580 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 10510336 140730039062911 140730039063114 140730039063114 140730039066603 0
/proc/25688/statm: 2378 345 289 221 0 87 0
[pid=25692] ppid=25688 vsize=13974352 memory=37124 CPUtime=0.27 cores=1,3,5,7
/proc/25692/stat : 25692 (java) S 25688 25688 897 0 -1 1077944320 8887 0 0 0 25 2 0 0 20 0 15 0 64472038 14309736448 9281 18446744073709551615 4194304 4196468 140724857571248 140724857553792 140684969197303 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
/proc/25692/statm: 3493588 9281 2976 1 0 3482964 0
[pid=25692/tid=25693] ppid=25688 vsize=13974352 memory=4198373884061773715 CPUtime=0.16 cores=1,3,5,7
/proc/25692/task/25693/stat : 25693 (java) R 25688 25688 897 0 -1 4202560 6071 0 0 0 15 1 0 0 20 0 15 0 64472039 14309736448 9281 18446744073709551615 4194304 4196468 140724857571248 140684973430352 140684969218650 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25694] ppid=25688 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25694/stat : 25694 (java) S 25688 25688 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64472039 14309736448 9281 18446744073709551615 4194304 4196468 140724857571248 140684888611472 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25695] ppid=25688 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25695/stat : 25695 (java) S 25688 25688 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64472039 14309736448 9281 18446744073709551615 4194304 4196468 140724857571248 140684887558672 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25696] ppid=25688 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25696/stat : 25696 (java) S 25688 25688 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64472039 14309736448 9281 18446744073709551615 4194304 4196468 140724857571248 140684886505872 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25697] ppid=25688 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25697/stat : 25697 (java) S 25688 25688 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64472039 14309736448 9281 18446744073709551615 4194304 4196468 140724857571248 140684885453072 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25698] ppid=25688 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25698/stat : 25698 (java) S 25688 25688 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64472041 14309736448 9281 18446744073709551615 4194304 4196468 140724857571248 140684447714160 140684969208450 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25699] ppid=25688 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25699/stat : 25699 (java) S 25688 25688 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64472041 14309736448 9281 18446744073709551615 4194304 4196468 140724857571248 140684446660128 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25700] ppid=25688 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25700/stat : 25700 (java) S 25688 25688 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64472041 14309736448 9281 18446744073709551615 4194304 4196468 140724857571248 140684445607280 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25701] ppid=25688 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25701/stat : 25701 (java) S 25688 25688 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64472044 14309736448 9281 18446744073709551615 4194304 4196468 140724857571248 140684444555600 140684969215899 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25702] ppid=25688 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25692/task/25702/stat : 25702 (java) S 25688 25688 897 0 -1 1077944384 452 0 0 0 2 0 0 0 20 0 15 0 64472044 14309736448 9281 18446744073709551615 4194304 4196468 140724857571248 140684443502960 140684969208450 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25703] ppid=25688 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25692/task/25703/stat : 25703 (java) S 25688 25688 897 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 15 0 64472044 14309736448 9281 18446744073709551615 4194304 4196468 140724857571248 140684442450160 140684969208450 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25704] ppid=25688 vsize=13974352 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/25692/task/25704/stat : 25704 (java) R 25688 25688 897 0 -1 4202560 749 0 0 0 5 0 0 0 20 0 15 0 64472044 14309736448 9281 18446744073709551615 4194304 4196468 140724857571248 140684441397360 140684969209238 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25705] ppid=25688 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25705/stat : 25705 (java) S 25688 25688 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64472044 14309736448 9281 18446744073709551615 4194304 4196468 140724857571248 140684440344800 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25706] ppid=25688 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25706/stat : 25706 (java) S 25688 25688 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64472050 14309736448 9281 18446744073709551615 4194304 4196468 140724857571248 140684439293104 140684969208450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38504 KiB
[startup+0.701091 s]
/proc/loadavg: 2.08 2.06 1.97 4/208 25734
/proc/meminfo: memFree=31095532/32770624 swapFree=67108860/67108860
[pid=25688] ppid=25685 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25688/stat : 25688 (xcsp3-exec) S 25685 25688 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64472031 9740288 345 18446744073709551615 4194304 5098028 140730039054128 140730039052232 140644938195580 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 10510336 140730039062911 140730039063114 140730039063114 140730039066603 0
/proc/25688/statm: 2378 345 289 221 0 87 0
[pid=25692] ppid=25688 vsize=13980732 memory=64336 CPUtime=1.21 cores=1,3,5,7
/proc/25692/stat : 25692 (java) S 25688 25688 897 0 -1 1077944320 14254 0 0 0 117 4 0 0 20 0 15 0 64472038 14316269568 16084 18446744073709551615 4194304 4196468 140724857571248 140724857553792 140684969197303 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
/proc/25692/statm: 3495183 16084 3177 1 0 3483476 0
[pid=25692/tid=25693] ppid=25688 vsize=13980732 memory=2000 CPUtime=0.53 cores=1,3,5,7
/proc/25692/task/25693/stat : 25693 (java) R 25688 25688 897 0 -1 4202560 8388 0 0 0 51 2 0 0 20 0 15 0 64472039 14316269568 16084 18446744073709551615 4194304 4196468 140724857571248 140684973435040 140684558886848 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25694] ppid=25688 vsize=13980732 memory=10976 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25694/stat : 25694 (java) S 25688 25688 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64472039 14316269568 16084 18446744073709551615 4194304 4196468 140724857571248 140684888611472 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25695] ppid=25688 vsize=13980732 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25695/stat : 25695 (java) S 25688 25688 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64472039 14316269568 16084 18446744073709551615 4194304 4196468 140724857571248 140684887558672 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25696] ppid=25688 vsize=13980732 memory=7014751519734126161 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25696/stat : 25696 (java) S 25688 25688 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64472039 14316269568 16084 18446744073709551615 4194304 4196468 140724857571248 140684886505872 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25697] ppid=25688 vsize=13980732 memory=7013348641631458414 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25697/stat : 25697 (java) S 25688 25688 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64472039 14316269568 16084 18446744073709551615 4194304 4196468 140724857571248 140684885453072 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25698] ppid=25688 vsize=13980732 memory=6154282490091891024 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25698/stat : 25698 (java) S 25688 25688 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64472041 14316269568 16084 18446744073709551615 4194304 4196468 140724857571248 140684447714160 140684969208450 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25699] ppid=25688 vsize=13980732 memory=7379241887840627287 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25699/stat : 25699 (java) S 25688 25688 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64472041 14316269568 16084 18446744073709551615 4194304 4196468 140724857571248 140684446660128 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25700] ppid=25688 vsize=13980732 memory=7007707949394126417 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25700/stat : 25700 (java) S 25688 25688 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64472041 14316269568 16084 18446744073709551615 4194304 4196468 140724857571248 140684445607280 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25701] ppid=25688 vsize=13980732 memory=2316 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25701/stat : 25701 (java) S 25688 25688 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64472044 14316269568 16084 18446744073709551615 4194304 4196468 140724857571248 140684444555600 140684969215899 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25702] ppid=25688 vsize=13980732 memory=1728 CPUtime=0.21 cores=1,3,5,7
/proc/25692/task/25702/stat : 25702 (java) R 25688 25688 897 0 -1 4202560 1693 0 0 0 21 0 0 0 20 0 15 0 64472044 14316269568 16084 18446744073709551615 4194304 4196468 140724857571248 140684443488760 140684962303005 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25703] ppid=25688 vsize=13980732 memory=1228 CPUtime=0.21 cores=1,3,5,7
/proc/25692/task/25703/stat : 25703 (java) R 25688 25688 897 0 -1 4202560 1525 0 0 0 21 0 0 0 20 0 15 0 64472044 14316269568 16084 18446744073709551615 4194304 4196468 140724857571248 140684442442680 140684954102568 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25704] ppid=25688 vsize=13980732 memory=796 CPUtime=0.22 cores=1,3,5,7
/proc/25692/task/25704/stat : 25704 (java) S 25688 25688 897 0 -1 1077944384 1342 0 0 0 22 0 0 0 20 0 15 0 64472044 14316269568 16084 18446744073709551615 4194304 4196468 140724857571248 140684441397360 140684969208450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25705] ppid=25688 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25705/stat : 25705 (java) S 25688 25688 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64472044 14316269568 16084 18446744073709551615 4194304 4196468 140724857571248 140684440344800 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25706] ppid=25688 vsize=13980732 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25706/stat : 25706 (java) S 25688 25688 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64472050 14316269568 16084 18446744073709551615 4194304 4196468 140724857571248 140684439293104 140684969208450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 65716 KiB
[startup+1.50109 s]
/proc/loadavg: 2.08 2.06 1.97 4/193 25738
/proc/meminfo: memFree=31051752/32770624 swapFree=67108860/67108860
[pid=25688] ppid=25685 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25688/stat : 25688 (xcsp3-exec) S 25685 25688 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64472031 9740288 345 18446744073709551615 4194304 5098028 140730039054128 140730039052232 140644938195580 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 10510336 140730039062911 140730039063114 140730039063114 140730039066603 0
/proc/25688/statm: 2378 345 289 221 0 87 0
[pid=25692] ppid=25688 vsize=13980732 memory=117616 CPUtime=3.64 cores=1,3,5,7
/proc/25692/stat : 25692 (java) S 25688 25688 897 0 -1 1077944320 39066 0 0 0 357 7 0 0 20 0 15 0 64472038 14316269568 29404 18446744073709551615 4194304 4196468 140724857571248 140724857553792 140684969197303 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
/proc/25692/statm: 3495183 29404 3186 1 0 3483476 0
[pid=25692/tid=25693] ppid=25688 vsize=13980732 memory=640 CPUtime=1.32 cores=1,3,5,7
/proc/25692/task/25693/stat : 25693 (java) R 25688 25688 897 0 -1 4202560 8514 0 0 0 130 2 0 0 20 0 15 0 64472039 14316269568 29404 18446744073709551615 4194304 4196468 140724857571248 140684973433336 140684558893691 0 4 1 16800974 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25694] ppid=25688 vsize=13980732 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25694/stat : 25694 (java) S 25688 25688 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64472039 14316269568 29404 18446744073709551615 4194304 4196468 140724857571248 140684888611472 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25695] ppid=25688 vsize=13980732 memory=3904 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25695/stat : 25695 (java) S 25688 25688 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64472039 14316269568 29404 18446744073709551615 4194304 4196468 140724857571248 140684887558672 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25696] ppid=25688 vsize=13980732 memory=960 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25696/stat : 25696 (java) S 25688 25688 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64472039 14316269568 29404 18446744073709551615 4194304 4196468 140724857571248 140684886505872 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25697] ppid=25688 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/25692/task/25700/stat : 25700 (java) S 25688 25688 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 64472041 14316269568 65898 18446744073709551615 4194304 4196468 140724857571248 140684445607280 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25701] ppid=25688 vsize=13980732 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25701/stat : 25701 (java) S 25688 25688 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64472044 14316269568 65898 18446744073709551615 4194304 4196468 140724857571248 140684444555600 140684969215899 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25702] ppid=25688 vsize=13980732 memory=2316 CPUtime=2.47 cores=1,3,5,7
/proc/25692/task/25702/stat : 25702 (java) S 25688 25688 897 0 -1 1077944384 22735 0 0 0 245 2 0 0 20 0 15 0 64472044 14316269568 65898 18446744073709551615 4194304 4196468 140724857571248 140684443502960 140684969208450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25703] ppid=25688 vsize=13980732 memory=196948 CPUtime=2.47 cores=1,3,5,7
/proc/25692/task/25703/stat : 25703 (java) S 25688 25688 897 0 -1 1077944384 16317 0 0 0 246 1 0 0 20 0 15 0 64472044 14316269568 65898 18446744073709551615 4194304 4196468 140724857571248 140684442450160 140684969208450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25704] ppid=25688 vsize=13980732 memory=1380 CPUtime=0.32 cores=1,3,5,7
/proc/25692/task/25704/stat : 25704 (java) S 25688 25688 897 0 -1 1077944384 3528 0 0 0 32 0 0 0 20 0 15 0 64472044 14316269568 65898 18446744073709551615 4194304 4196468 140724857571248 140684441397360 140684969208450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25705] ppid=25688 vsize=13980732 memory=196480 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25705/stat : 25705 (java) S 25688 25688 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64472044 14316269568 65898 18446744073709551615 4194304 4196468 140724857571248 140684440344800 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25706] ppid=25688 vsize=13980732 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/25692/task/25706/stat : 25706 (java) S 25688 25688 897 0 -1 1077944384 1473 0 0 0 2 2 0 0 20 0 15 0 64472050 14316269568 65898 18446744073709551615 4194304 4196468 140724857571248 140684439293104 140684969208450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
Current children cumulated CPU time: 108.15 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 264972 KiB
[startup+162.301 s]
/proc/loadavg: 1.37 1.78 1.88 4/211 26015
/proc/meminfo: memFree=30440152/32770624 swapFree=67108860/67108860
[pid=25688] ppid=25685 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25688/stat : 25688 (xcsp3-exec) S 25685 25688 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64472031 9740288 345 18446744073709551615 4194304 5098028 140730039054128 140730039052232 140644938195580 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 10510336 140730039062911 140730039063114 140730039063114 140730039066603 0
/proc/25688/statm: 2378 345 289 221 0 87 0
[pid=25692] ppid=25688 vsize=13980732 memory=345912 CPUtime=168.79 cores=1,3,5,7
/proc/25692/stat : 25692 (java) S 25688 25688 897 0 -1 1077944320 69780 0 0 0 16844 35 0 0 20 0 15 0 64472038 14316269568 86478 18446744073709551615 4194304 4196468 140724857571248 140724857553792 140684969197303 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
/proc/25692/statm: 3495183 86478 3221 1 0 3483476 0
[pid=25692/tid=25693] ppid=25688 vsize=13980732 memory=342684 CPUtime=161.14 cores=1,3,5,7
/proc/25692/task/25693/stat : 25693 (java) R 25688 25688 897 0 -1 4202560 16032 0 0 0 16107 7 0 0 20 0 15 0 64472039 14316269568 86478 18446744073709551615 4194304 4196468 140724857571248 140684973436864 140684561465711 0 4 1 16800974 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25694] ppid=25688 vsize=13980732 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/25692/task/25694/stat : 25694 (java) S 25688 25688 897 0 -1 1077944384 1675 0 0 0 42 5 0 0 20 0 15 0 64472039 14316269568 86478 18446744073709551615 4194304 4196468 140724857571248 140684888611472 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25695] ppid=25688 vsize=13980732 memory=344376 CPUtime=0.47 cores=1,3,5,7
/proc/25692/task/25695/stat : 25695 (java) S 25688 25688 897 0 -1 1077944384 1743 0 0 0 43 4 0 0 20 0 15 0 64472039 14316269568 86478 18446744073709551615 4194304 4196468 140724857571248 140684887558672 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25696] ppid=25688 vsize=13980732 memory=344376 CPUtime=0.47 cores=1,3,5,7
/proc/25692/task/25696/stat : 25696 (java) S 25688 25688 897 0 -1 1077944384 1268 0 0 0 42 5 0 0 20 0 15 0 64472039 14316269568 86478 18446744073709551615 4194304 4196468 140724857571248 140684886505872 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25697] ppid=25688 vsize=13980732 memory=345912 CPUtime=0.47 cores=1,3,5,7
/proc/25692/task/25697/stat : 25697 (java) S 25688 25688 897 0 -1 1077944384 1459 0 0 0 43 4 0 0 20 0 15 0 64472039 14316269568 86478 18446744073709551615 4194304 4196468 140724857571248 140684885453072 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25698] ppid=25688 vsize=13980732 memory=1380 CPUtime=0.32 cores=1,3,5,7
/proc/25692/task/25698/stat : 25698 (java) S 25688 25688 897 0 -1 1077944384 1682 0 0 0 28 4 0 0 20 0 15 0 64472041 14316269568 86478 18446744073709551615 4194304 4196468 140724857571248 140684447714160 140684969208450 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25699] ppid=25688 vsize=13980732 memory=339924 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25699/stat : 25699 (java) S 25688 25688 897 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 64472041 14316269568 86478 18446744073709551615 4194304 4196468 140724857571248 140684446660128 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25700] ppid=25688 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25700/stat : 25700 (java) S 25688 25688 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 64472041 14316269568 86478 18446744073709551615 4194304 4196468 140724857571248 140684445607280 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25701] ppid=25688 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25701/stat : 25701 (java) S 25688 25688 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64472044 14316269568 86478 18446744073709551615 4194304 4196468 140724857571248 140684444555600 140684969215899 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25702] ppid=25688 vsize=13980732 memory=339924 CPUtime=2.48 cores=1,3,5,7
/proc/25692/task/25702/stat : 25702 (java) S 25688 25688 897 0 -1 1077944384 22793 0 0 0 246 2 0 0 20 0 15 0 64472044 14316269568 86478 18446744073709551615 4194304 4196468 140724857571248 140684443502960 140684969208450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25703] ppid=25688 vsize=13980732 memory=283732 CPUtime=2.48 cores=1,3,5,7
/proc/25692/task/25703/stat : 25703 (java) S 25688 25688 897 0 -1 1077944384 16719 0 0 0 247 1 0 0 20 0 15 0 64472044 14316269568 86478 18446744073709551615 4194304 4196468 140724857571248 140684442450160 140684969208450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25704] ppid=25688 vsize=13980732 memory=1380 CPUtime=0.32 cores=1,3,5,7
/proc/25692/task/25704/stat : 25704 (java) S 25688 25688 897 0 -1 1077944384 3567 0 0 0 32 0 0 0 20 0 15 0 64472044 14316269568 86478 18446744073709551615 4194304 4196468 140724857571248 140684441397360 140684969208450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25705] ppid=25688 vsize=13980732 memory=343200 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25705/stat : 25705 (java) S 25688 25688 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64472044 14316269568 86478 18446744073709551615 4194304 4196468 140724857571248 140684440344800 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25706] ppid=25688 vsize=13980732 memory=1380 CPUtime=0.06 cores=1,3,5,7
/proc/25692/task/25706/stat : 25706 (java) S 25688 25688 897 0 -1 1077944384 1492 0 0 0 3 3 0 0 20 0 15 0 64472050 14316269568 86478 18446744073709551615 4194304 4196468 140724857571248 140684439293104 140684969208450 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
Current children cumulated CPU time: 168.79 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 347292 KiB
[startup+222.301 s]
/proc/loadavg: 1.46 1.74 1.86 4/211 26018
/proc/meminfo: memFree=30347268/32770624 swapFree=67108860/67108860
[pid=25688] ppid=25685 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25688/stat : 25688 (xcsp3-exec) S 25685 25688 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64472031 9740288 345 18446744073709551615 4194304 5098028 140730039054128 140730039052232 140644938195580 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 10510336 140730039062911 140730039063114 140730039063114 140730039066603 0
/proc/25688/statm: 2378 345 289 221 0 87 0
[pid=25692] ppid=25688 vsize=13980732 memory=397468 CPUtime=229.65 cores=1,3,5,7
/proc/25692/stat : 25692 (java) S 25688 25688 897 0 -1 1077944320 75799 0 0 0 22918 47 0 0 20 0 15 0 64472038 14316269568 99367 18446744073709551615 4194304 4196468 140724857571248 140724857553792 140684969197303 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
/proc/25692/statm: 3495183 99367 3221 1 0 3483476 0
[pid=25692/tid=25693] ppid=25688 vsize=13980732 memory=396960 CPUtime=220.67 cores=1,3,5,7
/proc/25692/task/25693/stat : 25693 (java) R 25688 25688 897 0 -1 4202560 20492 0 0 0 22059 8 0 0 20 0 15 0 64472039 14316269568 99367 18446744073709551615 4194304 4196468 140724857571248 140684973436976 140684560095671 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25694] ppid=25688 vsize=13980732 memory=1380 CPUtime=0.76 cores=1,3,5,7
/proc/25692/task/25694/stat : 25694 (java) S 25688 25688 897 0 -1 1077944384 1818 0 0 0 69 7 0 0 20 0 15 0 64472039 14316269568 99367 18446744073709551615 4194304 4196468 140724857571248 140684888611472 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25695] ppid=25688 vsize=13980732 memory=5788 CPUtime=0.76 cores=1,3,5,7
/proc/25692/task/25695/stat : 25695 (java) S 25688 25688 897 0 -1 1077944384 2150 0 0 0 70 6 0 0 20 0 15 0 64472039 14316269568 99367 18446744073709551615 4194304 4196468 140724857571248 140684887558672 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25696] ppid=25688 vsize=13980732 memory=1380 CPUtime=0.76 cores=1,3,5,7
/proc/25692/task/25696/stat : 25696 (java) S 25688 25688 897 0 -1 1077944384 1670 0 0 0 69 7 0 0 20 0 15 0 64472039 14316269568 99367 18446744073709551615 4194304 4196468 140724857571248 140684886505872 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25697] ppid=25688 vsize=13980732 memory=391580 CPUtime=0.77 cores=1,3,5,7
/proc/25692/task/25697/stat : 25697 (java) S 25688 25688 897 0 -1 1077944384 1809 0 0 0 70 7 0 0 20 0 15 0 64472039 14316269568 99367 18446744073709551615 4194304 4196468 140724857571248 140684885453072 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25698] ppid=25688 vsize=13980732 memory=-3622645143214314312 CPUtime=0.43 cores=1,3,5,7
/proc/25692/task/25698/stat : 25698 (java) S 25688 25688 897 0 -1 1077944384 1918 0 0 0 38 5 0 0 20 0 15 0 64472041 14316269568 99367 18446744073709551615 4194304 4196468 140724857571248 140684447714160 140684969208450 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25699] ppid=25688 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25699/stat : 25699 (java) S 25688 25688 897 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 64472041 14316269568 99367 18446744073709551615 4194304 4196468 140724857571248 140684446660128 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25700] ppid=25688 vsize=13980732 memory=395936 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25700/stat : 25700 (java) S 25688 25688 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 64472041 14316269568 99367 18446744073709551615 4194304 4196468 140724857571248 140684445607280 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25701] ppid=25688 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25701/stat : 25701 (java) S 25688 25688 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64472044 14316269568 99367 18446744073709551615 4194304 4196468 140724857571248 140684444555600 140684969215899 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25702] ppid=25688 vsize=13980732 memory=0 CPUtime=2.48 cores=1,3,5,7
/proc/25692/task/25702/stat : 25702 (java) S 25688 25688 897 0 -1 1077944384 22795 0 0 0 246 2 0 0 20 0 15 0 64472044 14316269568 99367 18446744073709551615 4194304 4196468 140724857571248 140684443502960 140684969208450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25703] ppid=25688 vsize=13980732 memory=0 CPUtime=2.48 cores=1,3,5,7
/proc/25692/task/25703/stat : 25703 (java) S 25688 25688 897 0 -1 1077944384 16721 0 0 0 247 1 0 0 20 0 15 0 64472044 14316269568 99367 18446744073709551615 4194304 4196468 140724857571248 140684442450160 140684969208450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25704] ppid=25688 vsize=13980732 memory=1380 CPUtime=0.32 cores=1,3,5,7
/proc/25692/task/25704/stat : 25704 (java) S 25688 25688 897 0 -1 1077944384 3569 0 0 0 32 0 0 0 20 0 15 0 64472044 14316269568 99367 18446744073709551615 4194304 4196468 140724857571248 140684441397360 140684969208450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25705] ppid=25688 vsize=13980732 memory=397984 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25705/stat : 25705 (java) S 25688 25688 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64472044 14316269568 99367 18446744073709551615 4194304 4196468 140724857571248 140684440344800 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25706] ppid=25688 vsize=13980732 memory=1440 CPUtime=0.1 cores=1,3,5,7
/proc/25692/task/25706/stat : 25706 (java) S 25688 25688 897 0 -1 1077944384 1507 0 0 0 5 5 0 0 20 0 15 0 64472050 14316269568 99367 18446744073709551615 4194304 4196468 140724857571248 140684439293104 140684969208450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
Current children cumulated CPU time: 229.65 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 398848 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.55 1.74 1.86 3/211 26019
/proc/meminfo: memFree=30345736/32770624 swapFree=67108860/67108860
[pid=25688] ppid=25685 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25688/stat : 25688 (xcsp3-exec) S 25685 25688 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64472031 9740288 345 18446744073709551615 4194304 5098028 140730039054128 140730039052232 140644938195580 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 10510336 140730039062911 140730039063114 140730039063114 140730039066603 0
/proc/25688/statm: 2378 345 289 221 0 87 0
[pid=25692] ppid=25688 vsize=13980732 memory=396440 CPUtime=247.4 cores=1,3,5,7
/proc/25692/stat : 25692 (java) S 25688 25688 897 0 -1 1077944320 75880 0 0 0 24693 47 0 0 20 0 15 0 64472038 14316269568 99110 18446744073709551615 4194304 4196468 140724857571248 140724857553792 140684969197303 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
/proc/25692/statm: 3495183 99110 3221 1 0 3483476 0
[pid=25692/tid=25693] ppid=25688 vsize=13980732 memory=4116 CPUtime=238.36 cores=1,3,5,7
/proc/25692/task/25693/stat : 25693 (java) R 25688 25688 897 0 -1 4202560 20541 0 0 0 23828 8 0 0 20 0 15 0 64472039 14316269568 99110 18446744073709551615 4194304 4196468 140724857571248 140684973436560 140684559413746 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25694] ppid=25688 vsize=13980732 memory=4872558044660077418 CPUtime=0.78 cores=1,3,5,7
/proc/25692/task/25694/stat : 25694 (java) S 25688 25688 897 0 -1 1077944384 1821 0 0 0 71 7 0 0 20 0 15 0 64472039 14316269568 99110 18446744073709551615 4194304 4196468 140724857571248 140684888611472 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25695] ppid=25688 vsize=13980732 memory=2752 CPUtime=0.77 cores=1,3,5,7
/proc/25692/task/25695/stat : 25695 (java) S 25688 25688 897 0 -1 1077944384 2161 0 0 0 71 6 0 0 20 0 15 0 64472039 14316269568 99110 18446744073709551615 4194304 4196468 140724857571248 140684887558672 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25696] ppid=25688 vsize=13980732 memory=4072 CPUtime=0.77 cores=1,3,5,7
/proc/25692/task/25696/stat : 25696 (java) S 25688 25688 897 0 -1 1077944384 1686 0 0 0 70 7 0 0 20 0 15 0 64472039 14316269568 99110 18446744073709551615 4194304 4196468 140724857571248 140684886505872 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25697] ppid=25688 vsize=13980732 memory=1160 CPUtime=0.78 cores=1,3,5,7
/proc/25692/task/25697/stat : 25697 (java) S 25688 25688 897 0 -1 1077944384 1810 0 0 0 71 7 0 0 20 0 15 0 64472039 14316269568 99110 18446744073709551615 4194304 4196468 140724857571248 140684885453072 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25698] ppid=25688 vsize=13980732 memory=3052 CPUtime=0.44 cores=1,3,5,7
/proc/25692/task/25698/stat : 25698 (java) S 25688 25688 897 0 -1 1077944384 1919 0 0 0 39 5 0 0 20 0 15 0 64472041 14316269568 99110 18446744073709551615 4194304 4196468 140724857571248 140684447714160 140684969208450 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25699] ppid=25688 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25699/stat : 25699 (java) S 25688 25688 897 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 64472041 14316269568 99110 18446744073709551615 4194304 4196468 140724857571248 140684446660128 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25700] ppid=25688 vsize=13980732 memory=395416 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25700/stat : 25700 (java) S 25688 25688 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 64472041 14316269568 99110 18446744073709551615 4194304 4196468 140724857571248 140684445607280 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25701] ppid=25688 vsize=13980732 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25701/stat : 25701 (java) S 25688 25688 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64472044 14316269568 99110 18446744073709551615 4194304 4196468 140724857571248 140684444555600 140684969215899 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25702] ppid=25688 vsize=13980732 memory=3116 CPUtime=2.48 cores=1,3,5,7
/proc/25692/task/25702/stat : 25702 (java) S 25688 25688 897 0 -1 1077944384 22795 0 0 0 246 2 0 0 20 0 15 0 64472044 14316269568 99110 18446744073709551615 4194304 4196468 140724857571248 140684443502960 140684969208450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25703] ppid=25688 vsize=13980732 memory=395416 CPUtime=2.48 cores=1,3,5,7
/proc/25692/task/25703/stat : 25703 (java) S 25688 25688 897 0 -1 1077944384 16721 0 0 0 247 1 0 0 20 0 15 0 64472044 14316269568 99110 18446744073709551615 4194304 4196468 140724857571248 140684442450160 140684969208450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25704] ppid=25688 vsize=13980732 memory=36436 CPUtime=0.32 cores=1,3,5,7
/proc/25692/task/25704/stat : 25704 (java) S 25688 25688 897 0 -1 1077944384 3569 0 0 0 32 0 0 0 20 0 15 0 64472044 14316269568 99110 18446744073709551615 4194304 4196468 140724857571248 140684441397360 140684969208450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25705] ppid=25688 vsize=13980732 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25705/stat : 25705 (java) S 25688 25688 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64472044 14316269568 99110 18446744073709551615 4194304 4196468 140724857571248 140684440344800 140684969207509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
[pid=25692/tid=25706] ppid=25688 vsize=13980732 memory=1380 CPUtime=0.11 cores=1,3,5,7
/proc/25692/task/25706/stat : 25706 (java) S 25688 25688 897 0 -1 1077944384 1507 0 0 0 6 5 0 0 20 0 15 0 64472050 14316269568 99110 18446744073709551615 4194304 4196468 140724857571248 140684439293104 140684969208450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27549696 140724857573815 140724857573990 140724857573990 140724857577423 0
Current children cumulated CPU time: 247.4 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 397820 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 25688 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000929 s, system=0.000929 s
[startup+240.021 s]
# the end of solver process 25692 was just reported to runsolver
# cumulated CPU time of all completed processes: user=246.947 s, system=0.478095 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.021
CPU time (s): 247.425
CPU user time (s): 246.947
CPU system time (s): 0.478095
CPU usage (%): 103.085
Max. virtual memory (cumulated for all children) (KiB): 13994612
Max. memory (cumulated for all children) (KiB): 407080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.947
system time used= 0.478095
maximum resident set size= 406212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76698
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18474
involuntary context switches= 538
# summary of solver processes directly reported to runsolver:
# pid: 25688,25692
# total CPU time (s): 247.425
# total CPU user time (s): 246.947
# total CPU system time (s): 0.478095
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.4369 second user time and 2.40445 second system time
The end