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 (15406 MiB free)
memory of node 1: 16384 MiB (15295 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4268975-1502829140/watcher-4268975-1502829140 -o /tmp/evaluation-result-4268975-1502829140/solver-4268975-1502829140 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24470 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1051698555 HOME/instance-4268975-1502829140.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
Current StackSize limit: 8192 KiB
solver pid=24926, runsolver pid=24923
[startup+0.100134 s]*
/proc/loadavg: 2.00 2.02 1.98 3/207 24933
/proc/meminfo: memFree=31433192/32770624 swapFree=67108764/67108860
[pid=24926] ppid=24923 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24926/stat : 24926 (xcsp3-exec) S 24923 24926 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 130420561 9740288 344 18446744073709551615 4194304 5098028 140732555140080 140732555138184 139896909673084 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 25501696 140732555145592 140732555145797 140732555145797 140732555149291 0
/proc/24926/statm: 2378 344 289 221 0 87 0
[pid=24928] ppid=24926 vsize=13358712 memory=14896 CPUtime=0.01 cores=0,2,4,6
/proc/24928/stat : 24928 (java) S 24926 24926 4674 0 -1 1077944320 3480 0 0 0 1 0 0 0 20 0 6 0 130420570 13679321088 3724 18446744073709551615 4194304 4196468 140733309559360 140733309541904 140251928116983 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
/proc/24928/statm: 3339678 3724 1905 1 0 3329175 0
[pid=24928/tid=24929] ppid=24926 vsize=13358712 memory=-8713483618642852700 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24929/stat : 24929 (java) R 24926 24926 4674 0 -1 4202560 2251 0 0 0 0 0 0 0 20 0 6 0 130420570 13679321088 3724 18446744073709551615 4194304 4196468 140733309559360 140251932353104 140251912197470 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24930] ppid=24926 vsize=13358712 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24930/stat : 24930 (java) S 24926 24926 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 130420571 13679321088 3724 18446744073709551615 4194304 4196468 140733309559360 140251528359056 140251928127189 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24931] ppid=24926 vsize=13358712 memory=139856045893248 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24931/stat : 24931 (java) S 24926 24926 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 130420571 13679321088 3724 18446744073709551615 4194304 4196468 140733309559360 140251527306256 140251928127189 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24932] ppid=24926 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24932/stat : 24932 (java) S 24926 24926 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 130420571 13679321088 3724 18446744073709551615 4194304 4196468 140733309559360 140251526253456 140251928127189 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24933] ppid=24926 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24933/stat : 24933 (java) S 24926 24926 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 130420571 13679321088 3724 18446744073709551615 4194304 4196468 140733309559360 140251525200656 140251928127189 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 16272 KiB
[startup+0.211334 s]*
/proc/loadavg: 2.00 2.02 1.98 3/216 24942
/proc/meminfo: memFree=31422316/32770624 swapFree=67108764/67108860
[pid=24926] ppid=24923 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24926/stat : 24926 (xcsp3-exec) S 24923 24926 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 130420561 9740288 344 18446744073709551615 4194304 5098028 140732555140080 140732555138184 139896909673084 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 25501696 140732555145592 140732555145797 140732555145797 140732555149291 0
/proc/24926/statm: 2378 344 289 221 0 87 0
[pid=24928] ppid=24926 vsize=13974352 memory=27228 CPUtime=0.09 cores=0,2,4,6
/proc/24928/stat : 24928 (java) S 24926 24926 4674 0 -1 1077944320 5206 0 0 0 8 1 0 0 20 0 15 0 130420570 14309736448 6807 18446744073709551615 4194304 4196468 140733309559360 140733309541904 140251928116983 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
/proc/24928/statm: 3493588 6807 2751 1 0 3482964 0
[pid=24928/tid=24929] ppid=24926 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=0,2,4,6
/proc/24928/task/24929/stat : 24929 (java) R 24926 24926 4674 0 -1 4202560 3355 0 0 0 7 1 0 0 20 0 15 0 130420570 14309736448 6807 18446744073709551615 4194304 4196468 140733309559360 140251932347904 140251928138909 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24930] ppid=24926 vsize=13974352 memory=12630 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24930/stat : 24930 (java) S 24926 24926 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 130420571 14309736448 6807 18446744073709551615 4194304 4196468 140733309559360 140251528359056 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24931] ppid=24926 vsize=13974352 memory=139856045916545 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24931/stat : 24931 (java) S 24926 24926 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130420571 14309736448 6807 18446744073709551615 4194304 4196468 140733309559360 140251527306256 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24932] ppid=24926 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24932/stat : 24932 (java) S 24926 24926 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130420571 14309736448 6807 18446744073709551615 4194304 4196468 140733309559360 140251526253456 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24933] ppid=24926 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24933/stat : 24933 (java) S 24926 24926 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130420571 14309736448 6807 18446744073709551615 4194304 4196468 140733309559360 140251525200656 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24934] ppid=24926 vsize=13974352 memory=139856045893248 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24934/stat : 24934 (java) S 24926 24926 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 130420573 14309736448 6807 18446744073709551615 4194304 4196468 140733309559360 140251045767536 140251928128130 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24935] ppid=24926 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24935/stat : 24935 (java) S 24926 24926 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 130420573 14309736448 6807 18446744073709551615 4194304 4196468 140733309559360 140251044713504 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24936] ppid=24926 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24936/stat : 24936 (java) S 24926 24926 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 130420573 14309736448 6807 18446744073709551615 4194304 4196468 140733309559360 140251043660656 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24937] ppid=24926 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24937/stat : 24937 (java) S 24926 24926 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130420576 14309736448 6807 18446744073709551615 4194304 4196468 140733309559360 140251042608976 140251928135579 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24938] ppid=24926 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24938/stat : 24938 (java) S 24926 24926 4674 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 130420576 14309736448 6807 18446744073709551615 4194304 4196468 140733309559360 140251041557360 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24939] ppid=24926 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24939/stat : 24939 (java) S 24926 24926 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 130420576 14309736448 6807 18446744073709551615 4194304 4196468 140733309559360 140251040504560 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24940] ppid=24926 vsize=13974352 memory=139856045893248 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24940/stat : 24940 (java) S 24926 24926 4674 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 15 0 130420576 14309736448 6807 18446744073709551615 4194304 4196468 140733309559360 140251039451760 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24941] ppid=24926 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24941/stat : 24941 (java) S 24926 24926 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130420576 14309736448 6807 18446744073709551615 4194304 4196468 140733309559360 140251038399200 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24942] ppid=24926 vsize=13974352 memory=139856045893248 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24942/stat : 24942 (java) S 24926 24926 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130420580 14309736448 6807 18446744073709551615 4194304 4196468 140733309559360 140251037346480 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28604 KiB
[startup+0.310523 s]*
/proc/loadavg: 2.00 2.02 1.98 4/216 24942
/proc/meminfo: memFree=31412028/32770624 swapFree=67108764/67108860
[pid=24926] ppid=24923 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24926/stat : 24926 (xcsp3-exec) S 24923 24926 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 130420561 9740288 344 18446744073709551615 4194304 5098028 140732555140080 140732555138184 139896909673084 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 25501696 140732555145592 140732555145797 140732555145797 140732555149291 0
/proc/24926/statm: 2378 344 289 221 0 87 0
[pid=24928] ppid=24926 vsize=13974352 memory=37168 CPUtime=0.29 cores=0,2,4,6
/proc/24928/stat : 24928 (java) S 24926 24926 4674 0 -1 1077944320 8889 0 0 0 26 3 0 0 20 0 15 0 130420570 14309736448 9292 18446744073709551615 4194304 4196468 140733309559360 140733309541904 140251928116983 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
/proc/24928/statm: 3493588 9292 2990 1 0 3482964 0
[pid=24928/tid=24929] ppid=24926 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=0,2,4,6
/proc/24928/task/24929/stat : 24929 (java) R 24926 24926 4674 0 -1 4202560 6095 0 0 0 15 2 0 0 20 0 15 0 130420570 14309736448 9292 18446744073709551615 4194304 4196468 140733309559360 140251932354496 140251920794997 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24930] ppid=24926 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24930/stat : 24930 (java) S 24926 24926 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 130420571 14309736448 9292 18446744073709551615 4194304 4196468 140733309559360 140251528359056 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24931] ppid=24926 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24931/stat : 24931 (java) S 24926 24926 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130420571 14309736448 9292 18446744073709551615 4194304 4196468 140733309559360 140251527306256 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24932] ppid=24926 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24932/stat : 24932 (java) S 24926 24926 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130420571 14309736448 9292 18446744073709551615 4194304 4196468 140733309559360 140251526253456 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24933] ppid=24926 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24933/stat : 24933 (java) S 24926 24926 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130420571 14309736448 9292 18446744073709551615 4194304 4196468 140733309559360 140251525200656 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24934] ppid=24926 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24934/stat : 24934 (java) S 24926 24926 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 130420573 14309736448 9292 18446744073709551615 4194304 4196468 140733309559360 140251045767536 140251928128130 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24935] ppid=24926 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24935/stat : 24935 (java) S 24926 24926 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 130420573 14309736448 9292 18446744073709551615 4194304 4196468 140733309559360 140251044713504 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24936] ppid=24926 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24936/stat : 24936 (java) S 24926 24926 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 130420573 14309736448 9292 18446744073709551615 4194304 4196468 140733309559360 140251043660656 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24937] ppid=24926 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24937/stat : 24937 (java) S 24926 24926 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130420576 14309736448 9292 18446744073709551615 4194304 4196468 140733309559360 140251042608976 140251928135579 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24938] ppid=24926 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24928/task/24938/stat : 24938 (java) S 24926 24926 4674 0 -1 1077944384 544 0 0 0 2 0 0 0 20 0 15 0 130420576 14309736448 9292 18446744073709551615 4194304 4196468 140733309559360 140251041557360 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24939] ppid=24926 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/24928/task/24939/stat : 24939 (java) R 24926 24926 4674 0 -1 4202560 189 0 0 0 1 0 0 0 20 0 15 0 130420576 14309736448 9292 18446744073709551615 4194304 4196468 140733309559360 140251040504560 140251909620112 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24940] ppid=24926 vsize=13974352 memory=139856045893248 CPUtime=0.06 cores=0,2,4,6
/proc/24928/task/24940/stat : 24940 (java) S 24926 24926 4674 0 -1 1077944384 758 0 0 0 6 0 0 0 20 0 15 0 130420576 14309736448 9292 18446744073709551615 4194304 4196468 140733309559360 140251039451760 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24941] ppid=24926 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24941/stat : 24941 (java) S 24926 24926 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130420576 14309736448 9292 18446744073709551615 4194304 4196468 140733309559360 140251038399200 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24942] ppid=24926 vsize=13974352 memory=139856045893248 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24942/stat : 24942 (java) S 24926 24926 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130420580 14309736448 9292 18446744073709551615 4194304 4196468 140733309559360 140251037346480 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38544 KiB
[startup+0.703036 s]
/proc/loadavg: 2.00 2.02 1.98 6/216 24942
/proc/meminfo: memFree=31400580/32770624 swapFree=67108764/67108860
[pid=24926] ppid=24923 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24926/stat : 24926 (xcsp3-exec) S 24923 24926 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 130420561 9740288 344 18446744073709551615 4194304 5098028 140732555140080 140732555138184 139896909673084 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 25501696 140732555145592 140732555145797 140732555145797 140732555149291 0
/proc/24926/statm: 2378 344 289 221 0 87 0
[pid=24928] ppid=24926 vsize=13978684 memory=82908 CPUtime=1.23 cores=0,2,4,6
/proc/24928/stat : 24928 (java) S 24926 24926 4674 0 -1 1077944320 12329 0 0 0 119 4 0 0 20 0 15 0 130420570 14314172416 20727 18446744073709551615 4194304 4196468 140733309559360 140733309541904 140251928116983 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
/proc/24928/statm: 3494671 20727 3162 1 0 3482964 0
[pid=24928/tid=24929] ppid=24926 vsize=13978684 memory=279708671715952 CPUtime=0.55 cores=0,2,4,6
/proc/24928/task/24929/stat : 24929 (java) R 24926 24926 4674 0 -1 4202560 7924 0 0 0 52 3 0 0 20 0 15 0 130420570 14314172416 20727 18446744073709551615 4194304 4196468 140733309559360 140251932353568 140251569979809 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24930] ppid=24926 vsize=13978684 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24930/stat : 24930 (java) S 24926 24926 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 130420571 14314172416 20727 18446744073709551615 4194304 4196468 140733309559360 140251528359056 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24931] ppid=24926 vsize=13978684 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24931/stat : 24931 (java) S 24926 24926 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130420571 14314172416 20727 18446744073709551615 4194304 4196468 140733309559360 140251527306256 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24932] ppid=24926 vsize=13978684 memory=279711892891712 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24932/stat : 24932 (java) S 24926 24926 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130420571 14314172416 20727 18446744073709551615 4194304 4196468 140733309559360 140251526253456 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24933] ppid=24926 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24933/stat : 24933 (java) S 24926 24926 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130420571 14314172416 20727 18446744073709551615 4194304 4196468 140733309559360 140251525200656 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24934] ppid=24926 vsize=13978684 memory=825 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24934/stat : 24934 (java) S 24926 24926 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 130420573 14314172416 20727 18446744073709551615 4194304 4196468 140733309559360 140251045767536 140251928128130 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24935] ppid=24926 vsize=13978684 memory=42 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24935/stat : 24935 (java) S 24926 24926 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 130420573 14314172416 20727 18446744073709551615 4194304 4196468 140733309559360 140251044713504 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24936] ppid=24926 vsize=13978684 memory=469 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24936/stat : 24936 (java) S 24926 24926 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 130420573 14314172416 20727 18446744073709551615 4194304 4196468 140733309559360 140251043660656 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24937] ppid=24926 vsize=13978684 memory=579 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24937/stat : 24937 (java) S 24926 24926 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130420576 14314172416 20727 18446744073709551615 4194304 4196468 140733309559360 140251042608976 140251928135579 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24938] ppid=24926 vsize=13978684 memory=108 CPUtime=0.22 cores=0,2,4,6
/proc/24928/task/24938/stat : 24938 (java) S 24926 24926 4674 0 -1 1077944384 1007 0 0 0 22 0 0 0 20 0 15 0 130420576 14314172416 20727 18446744073709551615 4194304 4196468 140733309559360 140251041557360 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24939] ppid=24926 vsize=13978684 memory=7 CPUtime=0.22 cores=0,2,4,6
/proc/24928/task/24939/stat : 24939 (java) S 24926 24926 4674 0 -1 1077944384 753 0 0 0 22 0 0 0 20 0 15 0 130420576 14314172416 20727 18446744073709551615 4194304 4196468 140733309559360 140251040504560 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24940] ppid=24926 vsize=13978684 memory=51464 CPUtime=0.22 cores=0,2,4,6
/proc/24928/task/24940/stat : 24940 (java) R 24926 24926 4674 0 -1 1077944384 1338 0 0 0 22 0 0 0 20 0 15 0 130420576 14314172416 20727 18446744073709551615 4194304 4196468 140733309559360 140251039451760 140251928128130 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24941] ppid=24926 vsize=13978684 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24941/stat : 24941 (java) S 24926 24926 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130420576 14314172416 20727 18446744073709551615 4194304 4196468 140733309559360 140251038399200 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24942] ppid=24926 vsize=13978684 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24942/stat : 24942 (java) S 24926 24926 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130420580 14314172416 20727 18446744073709551615 4194304 4196468 140733309559360 140251037346480 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 84284 KiB
[startup+1.50085 s]
/proc/loadavg: 2.00 2.02 1.98 5/216 24942
/proc/meminfo: memFree=31285312/32770624 swapFree=67108764/67108860
[pid=24926] ppid=24923 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24926/stat : 24926 (xcsp3-exec) S 24923 24926 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 130420561 9740288 344 18446744073709551615 4194304 5098028 140732555140080 140732555138184 139896909673084 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 25501696 140732555145592 140732555145797 140732555145797 140732555149291 0
/proc/24926/statm: 2378 344 289 221 0 87 0
[pid=24928] ppid=24926 vsize=13980732 memory=219380 CPUtime=3.53 cores=0,2,4,6
/proc/24928/stat : 24928 (java) S 24926 24926 4674 0 -1 1077944320 20407 0 0 0 345 8 0 0 20 0 15 0 130420570 14316269568 54845 18446744073709551615 4194304 4196468 140733309559360 140733309541904 140251928116983 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
/proc/24928/statm: 3495183 54845 3197 1 0 3483476 0
[pid=24928/tid=24929] ppid=24926 vsize=13980732 memory=3472468151365697373 CPUtime=1.32 cores=0,2,4,6
/proc/24928/task/24929/stat : 24929 (java) R 24926 24926 4674 0 -1 4202560 8185 0 0 0 128 4 0 0 20 0 15 0 130420570 14316269568 54845 18446744073709551615 4194304 4196468 140733309559360 140251932352832 140251574263074 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24930] ppid=24926 vsize=13980732 memory=3472468152107028240 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24930/stat : 24930 (java) S 24926 24926 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 130420571 14316269568 54845 18446744073709551615 4194304 4196468 140733309559360 140251528359056 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24931] ppid=24926 vsize=13980732 memory=7959526998370569993 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24931/stat : 24931 (java) S 24926 24926 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130420571 14316269568 54845 18446744073709551615 4194304 4196468 140733309559360 140251527306256 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24932] ppid=24926 vsize=13980732 memory=139855946456864 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24932/stat : 24932 (java) S 24926 24926 4674 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 130420571 14316269568 54845 18446744073709551615 4194304 4196468 140733309559360 140251526253456 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24933] ppid=24926 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24933/stat : 24933 (java) S 24926 24926 4674 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 130420571 14316269568 54845 18446744073709551615 4194304 4196468 140733309559360 140251525200656 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24934] ppid=24926 vsize=13980732 memory=825 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24934/stat : 24934 (java) S 24926 24926 4674 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 130420573 14316269568 54845 18446744073709551615 4194304 4196468 140733309559360 140251045767536 140251928128130 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24935] ppid=24926 vsize=13980732 memory=42 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24935/stat : 24935 (java) S 24926 24926 4674 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 130420573 14316269568 54845 18446744073709551615 4194304 4196468 140733309559360 140251044713504 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24936] ppid=24926 vsize=13980732 memory=469 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/24928/task/24936/stat : 24936 (java) S 24926 24926 4674 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 130420573 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251043660672 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24937] ppid=24926 vsize=13980732 memory=196252 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24937/stat : 24937 (java) S 24926 24926 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130420576 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251042608976 140251928135579 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24938] ppid=24926 vsize=13980732 memory=0 CPUtime=3.29 cores=0,2,4,6
/proc/24928/task/24938/stat : 24938 (java) S 24926 24926 4674 0 -1 1077944384 23414 0 0 0 328 1 0 0 20 0 15 0 130420576 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251041557360 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24939] ppid=24926 vsize=13980732 memory=1376 CPUtime=2.91 cores=0,2,4,6
/proc/24928/task/24939/stat : 24939 (java) S 24926 24926 4674 0 -1 1077944384 21460 0 0 0 289 2 0 0 20 0 15 0 130420576 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251040504560 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24940] ppid=24926 vsize=13980732 memory=196252 CPUtime=0.57 cores=0,2,4,6
/proc/24928/task/24940/stat : 24940 (java) S 24926 24926 4674 0 -1 1077944384 9587 0 0 0 56 1 0 0 20 0 15 0 130420576 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251039451760 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24941] ppid=24926 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24941/stat : 24941 (java) S 24926 24926 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130420576 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251038399200 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24942] ppid=24926 vsize=13980732 memory=1376 CPUtime=1.23 cores=0,2,4,6
/proc/24928/task/24942/stat : 24942 (java) S 24926 24926 4674 0 -1 1077944384 1761 0 0 0 61 62 0 0 20 0 15 0 130420580 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251037346480 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
Current children cumulated CPU time: 2452.2 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 197628 KiB
[startup+2502.3 s]
/proc/loadavg: 1.55 1.65 1.73 3/217 25190
/proc/meminfo: memFree=29654768/32770624 swapFree=67108764/67108860
[pid=24926] ppid=24923 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24926/stat : 24926 (xcsp3-exec) S 24923 24926 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 130420561 9740288 344 18446744073709551615 4194304 5098028 140732555140080 140732555138184 139896909673084 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 25501696 140732555145592 140732555145797 140732555145797 140732555149291 0
/proc/24926/statm: 2378 344 289 221 0 87 0
[pid=24928] ppid=24926 vsize=13980732 memory=196252 CPUtime=2512.27 cores=0,2,4,6
/proc/24928/stat : 24928 (java) S 24926 24926 4674 0 -1 1077944320 92925 0 0 0 251117 110 0 0 20 0 15 0 130420570 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140733309541904 140251928116983 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
/proc/24928/statm: 3495183 49063 3232 1 0 3483476 0
[pid=24928/tid=24929] ppid=24926 vsize=13980732 memory=1376 CPUtime=2499.33 cores=0,2,4,6
/proc/24928/task/24929/stat : 24929 (java) R 24926 24926 4674 0 -1 4202560 20141 0 0 0 249926 7 0 0 20 0 15 0 130420570 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251932356480 140251575677125 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24930] ppid=24926 vsize=13980732 memory=196252 CPUtime=0.98 cores=0,2,4,6
/proc/24928/task/24930/stat : 24930 (java) S 24926 24926 4674 0 -1 1077944384 2177 0 0 0 86 12 0 0 20 0 15 0 130420571 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251528359056 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24931] ppid=24926 vsize=13980732 memory=196252 CPUtime=0.99 cores=0,2,4,6
/proc/24928/task/24931/stat : 24931 (java) S 24926 24926 4674 0 -1 1077944384 3299 0 0 0 87 12 0 0 20 0 15 0 130420571 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251527306256 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24932] ppid=24926 vsize=13980732 memory=196252 CPUtime=1 cores=0,2,4,6
/proc/24928/task/24932/stat : 24932 (java) S 24926 24926 4674 0 -1 1077944384 2774 0 0 0 88 12 0 0 20 0 15 0 130420571 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251526253456 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24933] ppid=24926 vsize=13980732 memory=1376 CPUtime=0.99 cores=0,2,4,6
/proc/24928/task/24933/stat : 24933 (java) S 24926 24926 4674 0 -1 1077944384 2357 0 0 0 87 12 0 0 20 0 15 0 130420571 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251525200656 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24934] ppid=24926 vsize=13980732 memory=196252 CPUtime=0.85 cores=0,2,4,6
/proc/24928/task/24934/stat : 24934 (java) S 24926 24926 4674 0 -1 1077944384 4591 0 0 0 77 8 0 0 20 0 15 0 130420573 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251045767536 140251928128130 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24935] ppid=24926 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24935/stat : 24935 (java) S 24926 24926 4674 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 130420573 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251044713568 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24936] ppid=24926 vsize=13980732 memory=196252 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24936/stat : 24936 (java) S 24926 24926 4674 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 130420573 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251043660672 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24937] ppid=24926 vsize=13980732 memory=196252 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24937/stat : 24937 (java) S 24926 24926 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130420576 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251042608976 140251928135579 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24938] ppid=24926 vsize=13980732 memory=1376 CPUtime=3.29 cores=0,2,4,6
/proc/24928/task/24938/stat : 24938 (java) S 24926 24926 4674 0 -1 1077944384 23414 0 0 0 328 1 0 0 20 0 15 0 130420576 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251041557360 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24939] ppid=24926 vsize=13980732 memory=196252 CPUtime=2.91 cores=0,2,4,6
/proc/24928/task/24939/stat : 24939 (java) S 24926 24926 4674 0 -1 1077944384 21460 0 0 0 289 2 0 0 20 0 15 0 130420576 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251040504560 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24940] ppid=24926 vsize=13980732 memory=-8774313645642428999 CPUtime=0.57 cores=0,2,4,6
/proc/24928/task/24940/stat : 24940 (java) S 24926 24926 4674 0 -1 1077944384 9587 0 0 0 56 1 0 0 20 0 15 0 130420576 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251039451760 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24941] ppid=24926 vsize=13980732 memory=11056 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24941/stat : 24941 (java) S 24926 24926 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130420576 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251038399200 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24942] ppid=24926 vsize=13980732 memory=196252 CPUtime=1.25 cores=0,2,4,6
/proc/24928/task/24942/stat : 24942 (java) S 24926 24926 4674 0 -1 1077944384 1776 0 0 0 62 63 0 0 20 0 15 0 130420580 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251037346480 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
Current children cumulated CPU time: 2512.27 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 197628 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2510.11 s]
/proc/loadavg: 1.58 1.66 1.73 3/217 25191
/proc/meminfo: memFree=29654564/32770624 swapFree=67108764/67108860
[pid=24926] ppid=24923 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24926/stat : 24926 (xcsp3-exec) S 24923 24926 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 130420561 9740288 344 18446744073709551615 4194304 5098028 140732555140080 140732555138184 139896909673084 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 25501696 140732555145592 140732555145797 140732555145797 140732555149291 0
/proc/24926/statm: 2378 344 289 221 0 87 0
[pid=24928] ppid=24926 vsize=13980732 memory=196252 CPUtime=2520.08 cores=0,2,4,6
/proc/24928/stat : 24928 (java) S 24926 24926 4674 0 -1 1077944320 92935 0 0 0 251898 110 0 0 20 0 15 0 130420570 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140733309541904 140251928116983 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
/proc/24928/statm: 3495183 49063 3232 1 0 3483476 0
[pid=24928/tid=24929] ppid=24926 vsize=13980732 memory=196252 CPUtime=2507.13 cores=0,2,4,6
/proc/24928/task/24929/stat : 24929 (java) R 24926 24926 4674 0 -1 4202560 20145 0 0 0 250706 7 0 0 20 0 15 0 130420570 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251932356304 140251574264149 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24930] ppid=24926 vsize=13980732 memory=1204 CPUtime=0.98 cores=0,2,4,6
/proc/24928/task/24930/stat : 24930 (java) S 24926 24926 4674 0 -1 1077944384 2178 0 0 0 86 12 0 0 20 0 15 0 130420571 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251528359056 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24931] ppid=24926 vsize=13980732 memory=1376 CPUtime=0.99 cores=0,2,4,6
/proc/24928/task/24931/stat : 24931 (java) S 24926 24926 4674 0 -1 1077944384 3299 0 0 0 87 12 0 0 20 0 15 0 130420571 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251527306256 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24932] ppid=24926 vsize=13980732 memory=196252 CPUtime=1 cores=0,2,4,6
/proc/24928/task/24932/stat : 24932 (java) S 24926 24926 4674 0 -1 1077944384 2775 0 0 0 88 12 0 0 20 0 15 0 130420571 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251526253456 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24933] ppid=24926 vsize=13980732 memory=1376 CPUtime=0.99 cores=0,2,4,6
/proc/24928/task/24933/stat : 24933 (java) S 24926 24926 4674 0 -1 1077944384 2357 0 0 0 87 12 0 0 20 0 15 0 130420571 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251525200656 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24934] ppid=24926 vsize=13980732 memory=196252 CPUtime=0.85 cores=0,2,4,6
/proc/24928/task/24934/stat : 24934 (java) S 24926 24926 4674 0 -1 1077944384 4593 0 0 0 77 8 0 0 20 0 15 0 130420573 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251045767536 140251928128130 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24935] ppid=24926 vsize=13980732 memory=196252 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24935/stat : 24935 (java) S 24926 24926 4674 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 130420573 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251044713568 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24936] ppid=24926 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24936/stat : 24936 (java) S 24926 24926 4674 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 130420573 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251043660672 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24937] ppid=24926 vsize=13980732 memory=5712 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24937/stat : 24937 (java) S 24926 24926 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130420576 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251042608976 140251928135579 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24938] ppid=24926 vsize=13980732 memory=796 CPUtime=3.29 cores=0,2,4,6
/proc/24928/task/24938/stat : 24938 (java) S 24926 24926 4674 0 -1 1077944384 23414 0 0 0 328 1 0 0 20 0 15 0 130420576 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251041557360 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24939] ppid=24926 vsize=13980732 memory=11056 CPUtime=2.91 cores=0,2,4,6
/proc/24928/task/24939/stat : 24939 (java) S 24926 24926 4674 0 -1 1077944384 21460 0 0 0 289 2 0 0 20 0 15 0 130420576 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251040504560 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24940] ppid=24926 vsize=13980732 memory=1228 CPUtime=0.57 cores=0,2,4,6
/proc/24928/task/24940/stat : 24940 (java) S 24926 24926 4674 0 -1 1077944384 9587 0 0 0 56 1 0 0 20 0 15 0 130420576 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251039451760 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24941] ppid=24926 vsize=13980732 memory=4148 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24941/stat : 24941 (java) S 24926 24926 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130420576 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251038399200 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24942] ppid=24926 vsize=13980732 memory=63656 CPUtime=1.26 cores=0,2,4,6
/proc/24928/task/24942/stat : 24942 (java) S 24926 24926 4674 0 -1 1077944384 1778 0 0 0 62 64 0 0 20 0 15 0 130420580 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251037346480 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 197628 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2510.12 s]
# the end of solver process 24926 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001793 s, system=0 s
[startup+2510.12 s]
# the end of solver process 24928 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519 s, system=1.10842 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
[startup+2510.11 s]
/proc/loadavg: 1.58 1.66 1.73 3/217 25191
/proc/meminfo: memFree=29654564/32770624 swapFree=67108764/67108860
[pid=24926] ppid=24923 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24926/stat : 24926 (xcsp3-exec) S 24923 24926 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 130420561 9740288 344 18446744073709551615 4194304 5098028 140732555140080 140732555138184 139896909673084 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 25501696 140732555145592 140732555145797 140732555145797 140732555149291 0
/proc/24926/statm: 2378 344 289 221 0 87 0
[pid=24928] ppid=24926 vsize=13980732 memory=196252 CPUtime=2520.08 cores=0,2,4,6
/proc/24928/stat : 24928 (java) S 24926 24926 4674 0 -1 1077944320 92935 0 0 0 251898 110 0 0 20 0 15 0 130420570 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140733309541904 140251928116983 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
/proc/24928/statm: 3495183 49063 3232 1 0 3483476 0
[pid=24928/tid=24929] ppid=24926 vsize=13980732 memory=196252 CPUtime=2507.13 cores=0,2,4,6
/proc/24928/task/24929/stat : 24929 (java) R 24926 24926 4674 0 -1 4202560 20145 0 0 0 250706 7 0 0 20 0 15 0 130420570 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251932356304 140251574264149 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24930] ppid=24926 vsize=13980732 memory=1204 CPUtime=0.98 cores=0,2,4,6
/proc/24928/task/24930/stat : 24930 (java) S 24926 24926 4674 0 -1 1077944384 2178 0 0 0 86 12 0 0 20 0 15 0 130420571 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251528359056 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24931] ppid=24926 vsize=13980732 memory=1376 CPUtime=0.99 cores=0,2,4,6
/proc/24928/task/24931/stat : 24931 (java) S 24926 24926 4674 0 -1 1077944384 3299 0 0 0 87 12 0 0 20 0 15 0 130420571 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251527306256 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24932] ppid=24926 vsize=13980732 memory=196252 CPUtime=1 cores=0,2,4,6
/proc/24928/task/24932/stat : 24932 (java) S 24926 24926 4674 0 -1 1077944384 2775 0 0 0 88 12 0 0 20 0 15 0 130420571 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251526253456 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24933] ppid=24926 vsize=13980732 memory=1376 CPUtime=0.99 cores=0,2,4,6
/proc/24928/task/24933/stat : 24933 (java) S 24926 24926 4674 0 -1 1077944384 2357 0 0 0 87 12 0 0 20 0 15 0 130420571 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251525200656 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24934] ppid=24926 vsize=13980732 memory=196252 CPUtime=0.85 cores=0,2,4,6
/proc/24928/task/24934/stat : 24934 (java) S 24926 24926 4674 0 -1 1077944384 4593 0 0 0 77 8 0 0 20 0 15 0 130420573 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251045767536 140251928128130 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24935] ppid=24926 vsize=13980732 memory=196252 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24935/stat : 24935 (java) S 24926 24926 4674 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 130420573 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251044713568 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24936] ppid=24926 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24936/stat : 24936 (java) S 24926 24926 4674 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 130420573 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251043660672 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24937] ppid=24926 vsize=13980732 memory=5712 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24937/stat : 24937 (java) S 24926 24926 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130420576 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251042608976 140251928135579 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24938] ppid=24926 vsize=13980732 memory=796 CPUtime=3.29 cores=0,2,4,6
/proc/24928/task/24938/stat : 24938 (java) S 24926 24926 4674 0 -1 1077944384 23414 0 0 0 328 1 0 0 20 0 15 0 130420576 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251041557360 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24939] ppid=24926 vsize=13980732 memory=11056 CPUtime=2.91 cores=0,2,4,6
/proc/24928/task/24939/stat : 24939 (java) S 24926 24926 4674 0 -1 1077944384 21460 0 0 0 289 2 0 0 20 0 15 0 130420576 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251040504560 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24940] ppid=24926 vsize=13980732 memory=1228 CPUtime=0.57 cores=0,2,4,6
/proc/24928/task/24940/stat : 24940 (java) S 24926 24926 4674 0 -1 1077944384 9587 0 0 0 56 1 0 0 20 0 15 0 130420576 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251039451760 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24941] ppid=24926 vsize=13980732 memory=4148 CPUtime=0 cores=0,2,4,6
/proc/24928/task/24941/stat : 24941 (java) S 24926 24926 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130420576 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251038399200 140251928127189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
[pid=24928/tid=24942] ppid=24926 vsize=13980732 memory=63656 CPUtime=1.26 cores=0,2,4,6
/proc/24928/task/24942/stat : 24942 (java) S 24926 24926 4674 0 -1 1077944384 1778 0 0 0 62 64 0 0 20 0 15 0 130420580 14316269568 49063 18446744073709551615 4194304 4196468 140733309559360 140251037346480 140251928128130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27176960 140733309567409 140733309567585 140733309567585 140733309571023 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 197628 KiB
Child status: 143
Real time (s): 2510.12
CPU time (s): 2520.11
CPU user time (s): 2519
CPU system time (s): 1.10842
CPU usage (%): 100.398
Max. virtual memory (cumulated for all children) (KiB): 13992320
Max. memory (cumulated for all children) (KiB): 293044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519
system time used= 1.10842
maximum resident set size= 310136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93818
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78534
involuntary context switches= 5969
# summary of solver processes directly reported to runsolver:
# pid: 24926,24928
# total CPU time (s): 2520.11
# total CPU user time (s): 2519
# total CPU system time (s): 1.10842
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1101 second user time and 23.9724 second system time
The end