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 (15000 MiB free)
memory of node 1: 16384 MiB (15325 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283641-1503183010/watcher-4283641-1503183010 -o /tmp/evaluation-result-4283641-1503183010/solver-4283641-1503183010 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503172173-21713 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 62833358 HOME/instance-4283641-1503183010.xml
running on 4 cores: 1,3,5,7
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=24160, runsolver pid=24157
[startup+0.100092 s]*
/proc/loadavg: 1.50 1.53 1.57 4/197 24162
/proc/meminfo: memFree=31053704/32770624 swapFree=67105588/67108860
[pid=24160] ppid=24157 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24160/stat : 24160 (xcsp3-exec) S 24157 24160 8557 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 120496059 9740288 345 18446744073709551615 4194304 5098028 140721500235824 140721500233928 139720574452348 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 24461312 140721500238202 140721500238405 140721500238405 140721500241899 0
/proc/24160/statm: 2378 345 289 221 0 87 0
[pid=24162] ppid=24160 vsize=13356504 memory=10920 CPUtime=0 cores=1,3,5,7
/proc/24162/stat : 24162 (java) S 24160 24160 8557 0 -1 1077944320 2478 0 0 0 0 0 0 0 20 0 6 0 120496069 13677060096 2730 18446744073709551615 4194304 4196468 140731258549696 140731258532240 139782392057591 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
/proc/24162/statm: 3339126 2730 1261 1 0 3329096 0
[pid=24162/tid=24163] ppid=24160 vsize=13356504 memory=-8713483618642721886 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24163/stat : 24163 (java) R 24160 24160 8557 0 -1 4202560 1272 0 0 0 0 0 0 0 20 0 6 0 120496069 13677060096 2730 18446744073709551615 4194304 4196468 140731258549696 139782396299368 139782384774554 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24164] ppid=24160 vsize=13356504 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24164/stat : 24164 (java) S 24160 24160 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 120496070 13677060096 2730 18446744073709551615 4194304 4196468 140731258549696 139782334004112 139782392067797 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24165] ppid=24160 vsize=13356504 memory=140582859568768 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24165/stat : 24165 (java) S 24160 24160 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 120496070 13677060096 2730 18446744073709551615 4194304 4196468 140731258549696 139782332951312 139782392067797 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24166] ppid=24160 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24166/stat : 24166 (java) S 24160 24160 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 120496070 13677060096 2730 18446744073709551615 4194304 4196468 140731258549696 139782331899024 139782392067797 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24167] ppid=24160 vsize=13356504 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24167/stat : 24167 (java) S 24160 24160 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 120496070 13677060096 2730 18446744073709551615 4194304 4196468 140731258549696 139782330846224 139782392067797 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13366016 KiB
Current children cumulated memory: 12300 KiB
[startup+0.209862 s]*
/proc/loadavg: 1.50 1.53 1.57 3/211 24176
/proc/meminfo: memFree=31042316/32770624 swapFree=67105588/67108860
[pid=24160] ppid=24157 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24160/stat : 24160 (xcsp3-exec) S 24157 24160 8557 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 120496059 9740288 345 18446744073709551615 4194304 5098028 140721500235824 140721500233928 139720574452348 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 24461312 140721500238202 140721500238405 140721500238405 140721500241899 0
/proc/24160/statm: 2378 345 289 221 0 87 0
[pid=24162] ppid=24160 vsize=13974352 memory=26848 CPUtime=0.07 cores=1,3,5,7
/proc/24162/stat : 24162 (java) S 24160 24160 8557 0 -1 1077944320 5136 0 0 0 6 1 0 0 20 0 15 0 120496069 14309736448 6712 18446744073709551615 4194304 4196468 140731258549696 140731258532240 139782392057591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
/proc/24162/statm: 3493588 6712 2721 1 0 3482964 0
[pid=24162/tid=24163] ppid=24160 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=1,3,5,7
/proc/24162/task/24163/stat : 24163 (java) R 24160 24160 8557 0 -1 4202560 3290 0 0 0 6 1 0 0 20 0 15 0 120496069 14309736448 6712 18446744073709551615 4194304 4196468 140731258549696 139782396271088 139782392079517 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24164] ppid=24160 vsize=13974352 memory=8893 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24164/stat : 24164 (java) S 24160 24160 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120496070 14309736448 6712 18446744073709551615 4194304 4196468 140731258549696 139782334004112 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24165] ppid=24160 vsize=13974352 memory=288370959011280512 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24165/stat : 24165 (java) S 24160 24160 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120496070 14309736448 6712 18446744073709551615 4194304 4196468 140731258549696 139782332951312 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24166] ppid=24160 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24166/stat : 24166 (java) S 24160 24160 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120496070 14309736448 6712 18446744073709551615 4194304 4196468 140731258549696 139782331899024 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24167] ppid=24160 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24167/stat : 24167 (java) S 24160 24160 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120496070 14309736448 6712 18446744073709551615 4194304 4196468 140731258549696 139782330846224 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24168] ppid=24160 vsize=13974352 memory=140582859568768 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24168/stat : 24168 (java) S 24160 24160 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120496071 14309736448 6712 18446744073709551615 4194304 4196468 140731258549696 139781937809520 139782392068738 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24169] ppid=24160 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24169/stat : 24169 (java) S 24160 24160 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120496072 14309736448 6712 18446744073709551615 4194304 4196468 140731258549696 139781936755488 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24170] ppid=24160 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24170/stat : 24170 (java) S 24160 24160 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120496072 14309736448 6712 18446744073709551615 4194304 4196468 140731258549696 139781935703152 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24171] ppid=24160 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24171/stat : 24171 (java) S 24160 24160 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120496074 14309736448 6712 18446744073709551615 4194304 4196468 140731258549696 139781934651472 139782392076187 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24172] ppid=24160 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24172/stat : 24172 (java) S 24160 24160 8557 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 120496074 14309736448 6712 18446744073709551615 4194304 4196468 140731258549696 139781933599344 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24173] ppid=24160 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24173/stat : 24173 (java) S 24160 24160 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120496074 14309736448 6712 18446744073709551615 4194304 4196468 140731258549696 139781932546544 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24174] ppid=24160 vsize=13974352 memory=140582859568768 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24174/stat : 24174 (java) R 24160 24160 8557 0 -1 4202560 243 0 0 0 0 0 0 0 20 0 15 0 120496074 14309736448 6712 18446744073709551615 4194304 4196468 140731258549696 139781931494256 139782384298981 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24175] ppid=24160 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24175/stat : 24175 (java) S 24160 24160 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120496074 14309736448 6712 18446744073709551615 4194304 4196468 140731258549696 139781930441696 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24176] ppid=24160 vsize=13974352 memory=140582859568768 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24176/stat : 24176 (java) S 24160 24160 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120496079 14309736448 6712 18446744073709551615 4194304 4196468 140731258549696 139781929388464 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28228 KiB
[startup+0.310136 s]*
/proc/loadavg: 1.50 1.53 1.57 3/211 24176
/proc/meminfo: memFree=31027436/32770624 swapFree=67105588/67108860
[pid=24160] ppid=24157 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24160/stat : 24160 (xcsp3-exec) S 24157 24160 8557 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 120496059 9740288 345 18446744073709551615 4194304 5098028 140721500235824 140721500233928 139720574452348 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 24461312 140721500238202 140721500238405 140721500238405 140721500241899 0
/proc/24160/statm: 2378 345 289 221 0 87 0
[pid=24162] ppid=24160 vsize=13974352 memory=37064 CPUtime=0.26 cores=1,3,5,7
/proc/24162/stat : 24162 (java) S 24160 24160 8557 0 -1 1077944320 8796 0 0 0 23 3 0 0 20 0 15 0 120496069 14309736448 9266 18446744073709551615 4194304 4196468 140731258549696 140731258532240 139782392057591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
/proc/24162/statm: 3493588 9266 2993 1 0 3482964 0
[pid=24162/tid=24163] ppid=24160 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/24162/task/24163/stat : 24163 (java) R 24160 24160 8557 0 -1 4202560 6073 0 0 0 14 2 0 0 20 0 15 0 120496069 14309736448 9266 18446744073709551615 4194304 4196468 140731258549696 139782396291088 139782392069526 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24164] ppid=24160 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24164/stat : 24164 (java) S 24160 24160 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120496070 14309736448 9266 18446744073709551615 4194304 4196468 140731258549696 139782334004112 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24165] ppid=24160 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24165/stat : 24165 (java) S 24160 24160 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120496070 14309736448 9266 18446744073709551615 4194304 4196468 140731258549696 139782332951312 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24166] ppid=24160 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24166/stat : 24166 (java) S 24160 24160 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120496070 14309736448 9266 18446744073709551615 4194304 4196468 140731258549696 139782331899024 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24167] ppid=24160 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24167/stat : 24167 (java) S 24160 24160 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120496070 14309736448 9266 18446744073709551615 4194304 4196468 140731258549696 139782330846224 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24168] ppid=24160 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24168/stat : 24168 (java) S 24160 24160 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120496071 14309736448 9266 18446744073709551615 4194304 4196468 140731258549696 139781937809520 139782392068738 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24169] ppid=24160 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24169/stat : 24169 (java) S 24160 24160 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120496072 14309736448 9266 18446744073709551615 4194304 4196468 140731258549696 139781936755488 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24170] ppid=24160 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24170/stat : 24170 (java) S 24160 24160 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120496072 14309736448 9266 18446744073709551615 4194304 4196468 140731258549696 139781935703152 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24171] ppid=24160 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24171/stat : 24171 (java) S 24160 24160 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120496074 14309736448 9266 18446744073709551615 4194304 4196468 140731258549696 139781934651472 139782392076187 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24172] ppid=24160 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24162/task/24172/stat : 24172 (java) S 24160 24160 8557 0 -1 1077944384 530 0 0 0 2 0 0 0 20 0 15 0 120496074 14309736448 9266 18446744073709551615 4194304 4196468 140731258549696 139781933599344 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24173] ppid=24160 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/24162/task/24173/stat : 24173 (java) S 24160 24160 8557 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 15 0 120496074 14309736448 9266 18446744073709551615 4194304 4196468 140731258549696 139781932546544 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24174] ppid=24160 vsize=13974352 memory=140582859568768 CPUtime=0.05 cores=1,3,5,7
/proc/24162/task/24174/stat : 24174 (java) S 24160 24160 8557 0 -1 1077944384 737 0 0 0 5 0 0 0 20 0 15 0 120496074 14309736448 9266 18446744073709551615 4194304 4196468 140731258549696 139781931494256 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24175] ppid=24160 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24175/stat : 24175 (java) S 24160 24160 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120496074 14309736448 9266 18446744073709551615 4194304 4196468 140731258549696 139781930441696 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24176] ppid=24160 vsize=13974352 memory=140582859568768 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24176/stat : 24176 (java) S 24160 24160 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120496079 14309736448 9266 18446744073709551615 4194304 4196468 140731258549696 139781929388464 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38444 KiB
[startup+0.708635 s]
/proc/loadavg: 1.54 1.54 1.57 5/211 24176
/proc/meminfo: memFree=31015480/32770624 swapFree=67105588/67108860
[pid=24160] ppid=24157 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24160/stat : 24160 (xcsp3-exec) S 24157 24160 8557 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 120496059 9740288 345 18446744073709551615 4194304 5098028 140721500235824 140721500233928 139720574452348 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 24461312 140721500238202 140721500238405 140721500238405 140721500241899 0
/proc/24160/statm: 2378 345 289 221 0 87 0
[pid=24162] ppid=24160 vsize=13980732 memory=98284 CPUtime=1.16 cores=1,3,5,7
/proc/24162/stat : 24162 (java) S 24160 24160 8557 0 -1 1077944320 13035 0 0 0 110 6 0 0 20 0 15 0 120496069 14316269568 24571 18446744073709551615 4194304 4196468 140731258549696 140731258532240 139782392057591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
/proc/24162/statm: 3495183 24571 3170 1 0 3483476 0
[pid=24162/tid=24163] ppid=24160 vsize=13980732 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/24162/task/24163/stat : 24163 (java) R 24160 24160 8557 0 -1 4202560 8461 0 0 0 50 4 0 0 20 0 15 0 120496069 14316269568 24571 18446744073709551615 4194304 4196468 140731258549696 139782396295784 139782012463336 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24164] ppid=24160 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24164/stat : 24164 (java) S 24160 24160 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120496070 14316269568 24571 18446744073709551615 4194304 4196468 140731258549696 139782334004112 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24165] ppid=24160 vsize=13980732 memory=164 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24165/stat : 24165 (java) S 24160 24160 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120496070 14316269568 24571 18446744073709551615 4194304 4196468 140731258549696 139782332951312 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24166] ppid=24160 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24166/stat : 24166 (java) S 24160 24160 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120496070 14316269568 24571 18446744073709551615 4194304 4196468 140731258549696 139782331899024 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24167] ppid=24160 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24167/stat : 24167 (java) S 24160 24160 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120496070 14316269568 24571 18446744073709551615 4194304 4196468 140731258549696 139782330846224 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24168] ppid=24160 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24168/stat : 24168 (java) S 24160 24160 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120496071 14316269568 24571 18446744073709551615 4194304 4196468 140731258549696 139781937809520 139782392068738 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24169] ppid=24160 vsize=13980732 memory=8458433173656909621 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24169/stat : 24169 (java) S 24160 24160 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120496072 14316269568 24571 18446744073709551615 4194304 4196468 140731258549696 139781936755488 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24170] ppid=24160 vsize=13980732 memory=7086521019830130256 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24170/stat : 24170 (java) S 24160 24160 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120496072 14316269568 24571 18446744073709551615 4194304 4196468 140731258549696 139781935703152 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24171] ppid=24160 vsize=13980732 memory=15457 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24171/stat : 24171 (java) S 24160 24160 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120496074 14316269568 24571 18446744073709551615 4194304 4196468 140731258549696 139781934651472 139782392076187 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24172] ppid=24160 vsize=13980732 memory=4420 CPUtime=0.16 cores=1,3,5,7
/proc/24162/task/24172/stat : 24172 (java) S 24160 24160 8557 0 -1 1077944384 1111 0 0 0 16 0 0 0 20 0 15 0 120496074 14316269568 24571 18446744073709551615 4194304 4196468 140731258549696 139781933599344 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24173] ppid=24160 vsize=13980732 memory=6628 CPUtime=0.18 cores=1,3,5,7
/proc/24162/task/24173/stat : 24173 (java) S 24160 24160 8557 0 -1 1077944384 721 0 0 0 18 0 0 0 20 0 15 0 120496074 14316269568 24571 18446744073709551615 4194304 4196468 140731258549696 139781932546544 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24174] ppid=24160 vsize=13980732 memory=8836 CPUtime=0.25 cores=1,3,5,7
/proc/24162/task/24174/stat : 24174 (java) S 24160 24160 8557 0 -1 1077944384 1433 0 0 0 24 1 0 0 20 0 15 0 120496074 14316269568 24571 18446744073709551615 4194304 4196468 140731258549696 139781931494256 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24175] ppid=24160 vsize=13980732 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24175/stat : 24175 (java) S 24160 24160 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120496074 14316269568 24571 18446744073709551615 4194304 4196468 140731258549696 139781930441696 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24176] ppid=24160 vsize=13980732 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24176/stat : 24176 (java) S 24160 24160 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120496079 14316269568 24571 18446744073709551615 4194304 4196468 140731258549696 139781929388464 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 99664 KiB
[startup+1.50085 s]
/proc/loadavg: 1.54 1.54 1.57 5/211 24176
/proc/meminfo: memFree=30956076/32770624 swapFree=67105588/67108860
[pid=24160] ppid=24157 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24160/stat : 24160 (xcsp3-exec) S 24157 24160 8557 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 120496059 9740288 345 18446744073709551615 4194304 5098028 140721500235824 140721500233928 139720574452348 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 24461312 140721500238202 140721500238405 140721500238405 140721500241899 0
/proc/24160/statm: 2378 345 289 221 0 87 0
[pid=24162] ppid=24160 vsize=13980732 memory=156864 CPUtime=3.62 cores=1,3,5,7
/proc/24162/stat : 24162 (java) S 24160 24160 8557 0 -1 1077944320 28374 0 0 0 354 8 0 0 20 0 15 0 120496069 14316269568 39216 18446744073709551615 4194304 4196468 140731258549696 140731258532240 139782392057591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
/proc/24162/statm: 3495183 39216 3200 1 0 3483476 0
[pid=24162/tid=24163] ppid=24160 vsize=13980732 memory=-8774313645642428999 CPUtime=1.33 cores=1,3,5,7
/proc/24162/task/24163/stat : 24163 (java) R 24160 24160 8557 0 -1 4202560 10089 0 0 0 129 4 0 0 20 0 15 0 120496069 14316269568 39216 18446744073709551615 4194304 4196468 140731258549696 139782396294880 139782014388951 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24164] ppid=24160 vsize=13980732 memory=6297831537088227440 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24164/stat : 24164 (java) S 24160 24160 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120496070 14316269568 39216 18446744073709551615 4194304 4196468 140731258549696 139782334004112 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24165] ppid=24160 vsize=13980732 memory=33 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24165/stat : 24165 (java) S 24160 24160 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120496070 14316269568 39216 18446744073709551615 4194304 4196468 140731258549696 139782332951312 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24166] ppid=24160 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24166/stat : 24166 (java) S 24160 24160 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120496070 14316269568 39216 18446744073709551615 4194304 4196468 140731258549696 139782331899024 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24167] ppid=24160 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24167/stat : 24167 (java) S 24160 24160 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120496070 14316269568 39216 18446744073709551615 4194304 4196468 140731258549696 139782330846224 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24168] ppid=24160 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24168/stat : 24168 (java) S 24160 24160 8557 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 120496071 14316269568 39216 18446744073709551615 4194304 4196468 140731258549696 139781937809520 139782392068738 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24169] ppid=24160 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24169/stat : 24169 (java) S 24160 24160 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120496072 14316269568 39216 18446744073709551615 4194304 4196468 140731258549696 139781936755488 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24170] ppid=24160 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/24162/task/24164/stat : 24164 (java) S 24160 24160 8557 0 -1 1077944384 1314 0 0 0 10 1 0 0 20 0 15 0 120496070 14316269568 51585 18446744073709551615 4194304 4196468 140731258549696 139782334004112 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24165] ppid=24160 vsize=13980732 memory=214272 CPUtime=0.11 cores=1,3,5,7
/proc/24162/task/24165/stat : 24165 (java) S 24160 24160 8557 0 -1 1077944384 311 0 0 0 10 1 0 0 20 0 15 0 120496070 14316269568 51585 18446744073709551615 4194304 4196468 140731258549696 139782332951312 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24166] ppid=24160 vsize=13980732 memory=281165470899504 CPUtime=0.11 cores=1,3,5,7
/proc/24162/task/24166/stat : 24166 (java) S 24160 24160 8557 0 -1 1077944384 704 0 0 0 10 1 0 0 20 0 15 0 120496070 14316269568 51585 18446744073709551615 4194304 4196468 140731258549696 139782331899024 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24167] ppid=24160 vsize=13980732 memory=7300704776819335744 CPUtime=0.11 cores=1,3,5,7
/proc/24162/task/24167/stat : 24167 (java) S 24160 24160 8557 0 -1 1077944384 255 0 0 0 10 1 0 0 20 0 15 0 120496070 14316269568 51585 18446744073709551615 4194304 4196468 140731258549696 139782330846224 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24168] ppid=24160 vsize=13980732 memory=56 CPUtime=0.02 cores=1,3,5,7
/proc/24162/task/24168/stat : 24168 (java) S 24160 24160 8557 0 -1 1077944384 816 0 0 0 2 0 0 0 20 0 15 0 120496071 14316269568 51585 18446744073709551615 4194304 4196468 140731258549696 139781937809520 139782392068738 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24169] ppid=24160 vsize=13980732 memory=6944937900100196217 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24169/stat : 24169 (java) S 24160 24160 8557 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 120496072 14316269568 51585 18446744073709551615 4194304 4196468 140731258549696 139781936755488 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24170] ppid=24160 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24170/stat : 24170 (java) S 24160 24160 8557 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 120496072 14316269568 51585 18446744073709551615 4194304 4196468 140731258549696 139781935703152 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24171] ppid=24160 vsize=13980732 memory=4139509058403005994 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24171/stat : 24171 (java) S 24160 24160 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120496074 14316269568 51585 18446744073709551615 4194304 4196468 140731258549696 139781934651472 139782392076187 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24172] ppid=24160 vsize=13980732 memory=1380 CPUtime=2.94 cores=1,3,5,7
/proc/24162/task/24172/stat : 24172 (java) S 24160 24160 8557 0 -1 1077944384 11776 0 0 0 294 0 0 0 20 0 15 0 120496074 14316269568 51585 18446744073709551615 4194304 4196468 140731258549696 139781933599344 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24173] ppid=24160 vsize=13980732 memory=214000 CPUtime=3.07 cores=1,3,5,7
/proc/24162/task/24173/stat : 24173 (java) S 24160 24160 8557 0 -1 1077944384 11297 0 0 0 306 1 0 0 20 0 15 0 120496074 14316269568 51585 18446744073709551615 4194304 4196468 140731258549696 139781932546544 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24174] ppid=24160 vsize=13980732 memory=1380 CPUtime=0.7 cores=1,3,5,7
/proc/24162/task/24174/stat : 24174 (java) S 24160 24160 8557 0 -1 1077944384 5921 0 0 0 68 2 0 0 20 0 15 0 120496074 14316269568 51585 18446744073709551615 4194304 4196468 140731258549696 139781931494256 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24175] ppid=24160 vsize=13980732 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24175/stat : 24175 (java) S 24160 24160 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120496074 14316269568 51585 18446744073709551615 4194304 4196468 140731258549696 139781930441696 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24176] ppid=24160 vsize=13980732 memory=64972 CPUtime=0.01 cores=1,3,5,7
/proc/24162/task/24176/stat : 24176 (java) S 24160 24160 8557 0 -1 1077944384 399 0 0 0 0 1 0 0 20 0 15 0 120496079 14316269568 51585 18446744073709551615 4194304 4196468 140731258549696 139781929388464 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
Current children cumulated CPU time: 32.44 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 207720 KiB
[startup+51.11 s]
/proc/loadavg: 1.47 1.52 1.56 3/211 24177
/proc/meminfo: memFree=30809660/32770624 swapFree=67105588/67108860
[pid=24160] ppid=24157 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24160/stat : 24160 (xcsp3-exec) S 24157 24160 8557 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 120496059 9740288 345 18446744073709551615 4194304 5098028 140721500235824 140721500233928 139720574452348 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 24461312 140721500238202 140721500238405 140721500238405 140721500241899 0
/proc/24160/statm: 2378 345 289 221 0 87 0
[pid=24162] ppid=24160 vsize=13980732 memory=186724 CPUtime=58.86 cores=1,3,5,7
/proc/24162/stat : 24162 (java) S 24160 24160 8557 0 -1 1077944320 55054 0 0 0 5865 21 0 0 20 0 15 0 120496069 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 140731258532240 139782392057591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
/proc/24162/statm: 3495183 46681 3244 1 0 3483476 0
[pid=24162/tid=24163] ppid=24160 vsize=13980732 memory=4144 CPUtime=50.6 cores=1,3,5,7
/proc/24162/task/24163/stat : 24163 (java) R 24160 24160 8557 0 -1 4202560 13897 0 0 0 5054 6 0 0 20 0 15 0 120496069 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139782396297248 139782013764159 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24164] ppid=24160 vsize=13980732 memory=33 CPUtime=0.27 cores=1,3,5,7
/proc/24162/task/24164/stat : 24164 (java) S 24160 24160 8557 0 -1 1077944384 1493 0 0 0 25 2 0 0 20 0 15 0 120496070 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139782334004112 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24165] ppid=24160 vsize=13980732 memory=1380 CPUtime=0.27 cores=1,3,5,7
/proc/24162/task/24165/stat : 24165 (java) S 24160 24160 8557 0 -1 1077944384 595 0 0 0 25 2 0 0 20 0 15 0 120496070 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139782332951312 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24166] ppid=24160 vsize=13980732 memory=1380 CPUtime=0.27 cores=1,3,5,7
/proc/24162/task/24166/stat : 24166 (java) S 24160 24160 8557 0 -1 1077944384 1333 0 0 0 25 2 0 0 20 0 15 0 120496070 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139782331899024 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24167] ppid=24160 vsize=13980732 memory=27 CPUtime=0.26 cores=1,3,5,7
/proc/24162/task/24167/stat : 24167 (java) S 24160 24160 8557 0 -1 1077944384 466 0 0 0 25 1 0 0 20 0 15 0 120496070 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139782330846224 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24168] ppid=24160 vsize=13980732 memory=27 CPUtime=0.04 cores=1,3,5,7
/proc/24162/task/24168/stat : 24168 (java) S 24160 24160 8557 0 -1 1077944384 1080 0 0 0 3 1 0 0 20 0 15 0 120496071 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781937809520 139782392068738 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24169] ppid=24160 vsize=13980732 memory=281165472002688 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24169/stat : 24169 (java) S 24160 24160 8557 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 120496072 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781936755488 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24170] ppid=24160 vsize=13980732 memory=8026937636141164647 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24170/stat : 24170 (java) S 24160 24160 8557 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 120496072 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781935703152 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24171] ppid=24160 vsize=13980732 memory=164 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24171/stat : 24171 (java) S 24160 24160 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120496074 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781934651472 139782392076187 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24172] ppid=24160 vsize=13980732 memory=0 CPUtime=3.17 cores=1,3,5,7
/proc/24162/task/24172/stat : 24172 (java) S 24160 24160 8557 0 -1 1077944384 14877 0 0 0 316 1 0 0 20 0 15 0 120496074 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781933599344 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24173] ppid=24160 vsize=13980732 memory=1380 CPUtime=3.18 cores=1,3,5,7
/proc/24162/task/24173/stat : 24173 (java) S 24160 24160 8557 0 -1 1077944384 12325 0 0 0 317 1 0 0 20 0 15 0 120496074 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781932546544 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24174] ppid=24160 vsize=13980732 memory=188840 CPUtime=0.71 cores=1,3,5,7
/proc/24162/task/24174/stat : 24174 (java) S 24160 24160 8557 0 -1 1077944384 7211 0 0 0 69 2 0 0 20 0 15 0 120496074 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781931494256 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24175] ppid=24160 vsize=13980732 memory=22084 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24175/stat : 24175 (java) S 24160 24160 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120496074 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781930441696 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24176] ppid=24160 vsize=13980732 memory=-8774313645642428999 CPUtime=0.02 cores=1,3,5,7
/proc/24162/task/24176/stat : 24176 (java) S 24160 24160 8557 0 -1 1077944384 431 0 0 0 1 1 0 0 20 0 15 0 120496079 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781929388464 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
Current children cumulated CPU time: 58.86 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 188104 KiB
[startup+51.3764 s]
# the end of solver process 24160 was just reported to runsolver
# cumulated CPU time of all completed processes: user=58.9233 s, system=0.225469 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.201 s]
/proc/loadavg: 1.47 1.52 1.56 3/211 24177
/proc/meminfo: memFree=30809660/32770624 swapFree=67105588/67108860
[pid=24160] ppid=24157 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24160/stat : 24160 (xcsp3-exec) S 24157 24160 8557 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 120496059 9740288 345 18446744073709551615 4194304 5098028 140721500235824 140721500233928 139720574452348 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 24461312 140721500238202 140721500238405 140721500238405 140721500241899 0
/proc/24160/statm: 2378 345 289 221 0 87 0
[pid=24162] ppid=24160 vsize=13980732 memory=186724 CPUtime=58.95 cores=1,3,5,7
/proc/24162/stat : 24162 (java) S 24160 24160 8557 0 -1 1077944320 55054 0 0 0 5874 21 0 0 20 0 15 0 120496069 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 140731258532240 139782392057591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
/proc/24162/statm: 3495183 46681 3244 1 0 3483476 0
[pid=24162/tid=24163] ppid=24160 vsize=13980732 memory=15540738687502695 CPUtime=50.69 cores=1,3,5,7
/proc/24162/task/24163/stat : 24163 (java) R 24160 24160 8557 0 -1 4202560 13897 0 0 0 5063 6 0 0 20 0 15 0 120496069 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139782396297248 139782371768033 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24164] ppid=24160 vsize=13980732 memory=-8774313645642428999 CPUtime=0.27 cores=1,3,5,7
/proc/24162/task/24164/stat : 24164 (java) S 24160 24160 8557 0 -1 1077944384 1493 0 0 0 25 2 0 0 20 0 15 0 120496070 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139782334004112 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24165] ppid=24160 vsize=13980732 memory=190124 CPUtime=0.27 cores=1,3,5,7
/proc/24162/task/24165/stat : 24165 (java) S 24160 24160 8557 0 -1 1077944384 595 0 0 0 25 2 0 0 20 0 15 0 120496070 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139782332951312 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24166] ppid=24160 vsize=13980732 memory=64972 CPUtime=0.27 cores=1,3,5,7
/proc/24162/task/24166/stat : 24166 (java) S 24160 24160 8557 0 -1 1077944384 1333 0 0 0 25 2 0 0 20 0 15 0 120496070 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139782331899024 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24167] ppid=24160 vsize=13980732 memory=1240 CPUtime=0.26 cores=1,3,5,7
/proc/24162/task/24167/stat : 24167 (java) S 24160 24160 8557 0 -1 1077944384 466 0 0 0 25 1 0 0 20 0 15 0 120496070 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139782330846224 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24168] ppid=24160 vsize=13980732 memory=281165471860992 CPUtime=0.04 cores=1,3,5,7
/proc/24162/task/24168/stat : 24168 (java) S 24160 24160 8557 0 -1 1077944384 1080 0 0 0 3 1 0 0 20 0 15 0 120496071 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781937809520 139782392068738 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24169] ppid=24160 vsize=13980732 memory=281165470630128 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24169/stat : 24169 (java) S 24160 24160 8557 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 120496072 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781936755488 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24170] ppid=24160 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24170/stat : 24170 (java) S 24160 24160 8557 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 120496072 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781935703152 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24171] ppid=24160 vsize=13980732 memory=140582859576273 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24171/stat : 24171 (java) S 24160 24160 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120496074 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781934651472 139782392076187 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24172] ppid=24160 vsize=13980732 memory=1992 CPUtime=3.17 cores=1,3,5,7
/proc/24162/task/24172/stat : 24172 (java) S 24160 24160 8557 0 -1 1077944384 14877 0 0 0 316 1 0 0 20 0 15 0 120496074 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781933599344 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24173] ppid=24160 vsize=13980732 memory=1164 CPUtime=3.18 cores=1,3,5,7
/proc/24162/task/24173/stat : 24173 (java) S 24160 24160 8557 0 -1 1077944384 12325 0 0 0 317 1 0 0 20 0 15 0 120496074 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781932546544 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24174] ppid=24160 vsize=13980732 memory=7344 CPUtime=0.71 cores=1,3,5,7
/proc/24162/task/24174/stat : 24174 (java) S 24160 24160 8557 0 -1 1077944384 7211 0 0 0 69 2 0 0 20 0 15 0 120496074 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781931494256 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24175] ppid=24160 vsize=13980732 memory=1628 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24175/stat : 24175 (java) S 24160 24160 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120496074 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781930441696 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24176] ppid=24160 vsize=13980732 memory=14340 CPUtime=0.02 cores=1,3,5,7
/proc/24162/task/24176/stat : 24176 (java) S 24160 24160 8557 0 -1 1077944384 431 0 0 0 1 1 0 0 20 0 15 0 120496079 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781929388464 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
Current children cumulated CPU time: 58.95 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 188104 KiB
[startup+51.3008 s]
/proc/loadavg: 1.47 1.52 1.56 3/211 24177
/proc/meminfo: memFree=30809660/32770624 swapFree=67105588/67108860
[pid=24160] ppid=24157 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24160/stat : 24160 (xcsp3-exec) S 24157 24160 8557 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 120496059 9740288 345 18446744073709551615 4194304 5098028 140721500235824 140721500233928 139720574452348 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 24461312 140721500238202 140721500238405 140721500238405 140721500241899 0
/proc/24160/statm: 2378 345 289 221 0 87 0
[pid=24162] ppid=24160 vsize=13980732 memory=186724 CPUtime=59.05 cores=1,3,5,7
/proc/24162/stat : 24162 (java) S 24160 24160 8557 0 -1 1077944320 55054 0 0 0 5884 21 0 0 20 0 15 0 120496069 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 140731258532240 139782392057591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
/proc/24162/statm: 3495183 46681 3244 1 0 3483476 0
[pid=24162/tid=24163] ppid=24160 vsize=13980732 memory=4144 CPUtime=50.79 cores=1,3,5,7
/proc/24162/task/24163/stat : 24163 (java) R 24160 24160 8557 0 -1 4202560 13897 0 0 0 5073 6 0 0 20 0 15 0 120496069 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139782396297248 139782013931731 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24164] ppid=24160 vsize=13980732 memory=186724 CPUtime=0.27 cores=1,3,5,7
/proc/24162/task/24164/stat : 24164 (java) S 24160 24160 8557 0 -1 1077944384 1493 0 0 0 25 2 0 0 20 0 15 0 120496070 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139782334004112 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24165] ppid=24160 vsize=13980732 memory=33 CPUtime=0.27 cores=1,3,5,7
/proc/24162/task/24165/stat : 24165 (java) S 24160 24160 8557 0 -1 1077944384 595 0 0 0 25 2 0 0 20 0 15 0 120496070 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139782332951312 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24166] ppid=24160 vsize=13980732 memory=1380 CPUtime=0.27 cores=1,3,5,7
/proc/24162/task/24166/stat : 24166 (java) S 24160 24160 8557 0 -1 1077944384 1333 0 0 0 25 2 0 0 20 0 15 0 120496070 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139782331899024 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24167] ppid=24160 vsize=13980732 memory=1380 CPUtime=0.26 cores=1,3,5,7
/proc/24162/task/24167/stat : 24167 (java) S 24160 24160 8557 0 -1 1077944384 466 0 0 0 25 1 0 0 20 0 15 0 120496070 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139782330846224 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24168] ppid=24160 vsize=13980732 memory=27 CPUtime=0.04 cores=1,3,5,7
/proc/24162/task/24168/stat : 24168 (java) S 24160 24160 8557 0 -1 1077944384 1080 0 0 0 3 1 0 0 20 0 15 0 120496071 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781937809520 139782392068738 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24169] ppid=24160 vsize=13980732 memory=27 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24169/stat : 24169 (java) S 24160 24160 8557 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 120496072 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781936755488 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24170] ppid=24160 vsize=13980732 memory=281165472002688 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24170/stat : 24170 (java) S 24160 24160 8557 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 120496072 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781935703152 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24171] ppid=24160 vsize=13980732 memory=8026937636141164647 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24171/stat : 24171 (java) S 24160 24160 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120496074 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781934651472 139782392076187 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24172] ppid=24160 vsize=13980732 memory=164 CPUtime=3.17 cores=1,3,5,7
/proc/24162/task/24172/stat : 24172 (java) S 24160 24160 8557 0 -1 1077944384 14877 0 0 0 316 1 0 0 20 0 15 0 120496074 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781933599344 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24173] ppid=24160 vsize=13980732 memory=0 CPUtime=3.18 cores=1,3,5,7
/proc/24162/task/24173/stat : 24173 (java) S 24160 24160 8557 0 -1 1077944384 12325 0 0 0 317 1 0 0 20 0 15 0 120496074 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781932546544 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24174] ppid=24160 vsize=13980732 memory=1380 CPUtime=0.71 cores=1,3,5,7
/proc/24162/task/24174/stat : 24174 (java) S 24160 24160 8557 0 -1 1077944384 7211 0 0 0 69 2 0 0 20 0 15 0 120496074 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781931494256 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24175] ppid=24160 vsize=13980732 memory=188840 CPUtime=0 cores=1,3,5,7
/proc/24162/task/24175/stat : 24175 (java) S 24160 24160 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120496074 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781930441696 139782392067797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
[pid=24162/tid=24176] ppid=24160 vsize=13980732 memory=22084 CPUtime=0.02 cores=1,3,5,7
/proc/24162/task/24176/stat : 24176 (java) S 24160 24160 8557 0 -1 1077944384 431 0 0 0 1 1 0 0 20 0 15 0 120496079 14316269568 46681 18446744073709551615 4194304 4196468 140731258549696 139781929388464 139782392068738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33652736 140731258556849 140731258557025 140731258557025 140731258560463 0
Current children cumulated CPU time: 59.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 188104 KiB
Child status: 0
Real time (s): 51.3764
CPU time (s): 59.1488
CPU user time (s): 58.9233
CPU system time (s): 0.225469
CPU usage (%): 115.128
Max. virtual memory (cumulated for all children) (KiB): 13992028
Max. memory (cumulated for all children) (KiB): 228680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.9233
system time used= 0.225469
maximum resident set size= 227300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56434
page faults= 0
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4644
involuntary context switches= 166
# summary of solver processes directly reported to runsolver:
# pid: 24160
# total CPU time (s): 59.1488
# total CPU user time (s): 58.9233
# total CPU system time (s): 0.225469
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.28632 second user time and 0.584635 second system time
The end