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 (8551 MiB free)
memory of node 1: 16384 MiB (13071 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269148-1502791824/watcher-4269148-1502791824 -o /tmp/evaluation-result-4269148-1502791824/solver-4269148-1502791824 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1598284122 HOME/instance-4269148-1502791824.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=18398, runsolver pid=18395
[startup+0.100139 s]*
/proc/loadavg: 4.14 3.43 2.58 3/202 18401
/proc/meminfo: memFree=22136888/32770624 swapFree=67108764/67108860
[pid=18398] ppid=18395 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18398/stat : 18398 (xcsp3-exec) S 18395 18398 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 126688912 9740288 345 18446744073709551615 4194304 5098028 140729947427552 140729947425656 140564413543036 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 28667904 140729947431288 140729947431493 140729947431493 140729947434987 0
/proc/18398/statm: 2378 345 289 221 0 87 0
[pid=18400] ppid=18398 vsize=13358712 memory=14368 CPUtime=0 cores=1,3,5,7
/proc/18400/stat : 18400 (java) S 18398 18398 4674 0 -1 1077944320 3400 0 0 0 0 0 0 0 20 0 6 0 126688921 13679321088 3592 18446744073709551615 4194304 4196468 140722623803536 140722623786080 139651931455223 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
/proc/18400/statm: 3339678 3592 1903 1 0 3329175 0
[pid=18400/tid=18401] ppid=18398 vsize=13358712 memory=8508281356422055842 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18401/stat : 18401 (java) R 18398 18398 4674 0 -1 4202560 2190 0 0 0 0 0 0 0 20 0 6 0 126688921 13679321088 3658 18446744073709551615 4194304 4196468 140722623803536 139651935691344 139651915535740 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18402] ppid=18398 vsize=13358712 memory=4122819170707441977 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18402/stat : 18402 (java) S 18398 18398 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 126688922 13679321088 3658 18446744073709551615 4194304 4196468 140722623803536 139651873402000 139651931465429 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18403] ppid=18398 vsize=13358712 memory=139854137685632 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18403/stat : 18403 (java) S 18398 18398 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 126688922 13679321088 3658 18446744073709551615 4194304 4196468 140722623803536 139651872349200 139651931465429 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18404] ppid=18398 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18404/stat : 18404 (java) S 18398 18398 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 126688922 13679321088 3658 18446744073709551615 4194304 4196468 140722623803536 139651871296400 139651931465429 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18405] ppid=18398 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18405/stat : 18405 (java) S 18398 18398 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 126688922 13679321088 3658 18446744073709551615 4194304 4196468 140722623803536 139651870243600 139651931465429 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15748 KiB
[startup+0.218036 s]*
/proc/loadavg: 4.14 3.43 2.58 3/215 18414
/proc/meminfo: memFree=22129688/32770624 swapFree=67108764/67108860
[pid=18398] ppid=18395 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18398/stat : 18398 (xcsp3-exec) S 18395 18398 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 126688912 9740288 345 18446744073709551615 4194304 5098028 140729947427552 140729947425656 140564413543036 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 28667904 140729947431288 140729947431493 140729947431493 140729947434987 0
/proc/18398/statm: 2378 345 289 221 0 87 0
[pid=18400] ppid=18398 vsize=13974352 memory=26856 CPUtime=0.08 cores=1,3,5,7
/proc/18400/stat : 18400 (java) S 18398 18398 4674 0 -1 1077944320 5128 0 0 0 7 1 0 0 20 0 15 0 126688921 14309736448 6714 18446744073709551615 4194304 4196468 140722623803536 140722623786080 139651931455223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
/proc/18400/statm: 3493588 6714 2720 1 0 3482964 0
[pid=18400/tid=18401] ppid=18398 vsize=13974352 memory=7022364594140610616 CPUtime=0.06 cores=1,3,5,7
/proc/18400/task/18401/stat : 18401 (java) R 18398 18398 4674 0 -1 4202560 3283 0 0 0 6 0 0 0 20 0 15 0 126688921 14309736448 6714 18446744073709551615 4194304 4196468 140722623803536 139651935680912 139651915535710 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18402] ppid=18398 vsize=13974352 memory=4294979926 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18402/stat : 18402 (java) S 18398 18398 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126688922 14309736448 6714 18446744073709551615 4194304 4196468 140722623803536 139651873402000 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18403] ppid=18398 vsize=13974352 memory=139854137703806 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18403/stat : 18403 (java) S 18398 18398 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126688922 14309736448 6714 18446744073709551615 4194304 4196468 140722623803536 139651872349200 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18404] ppid=18398 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18404/stat : 18404 (java) S 18398 18398 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126688922 14309736448 6714 18446744073709551615 4194304 4196468 140722623803536 139651871296400 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18405] ppid=18398 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18405/stat : 18405 (java) S 18398 18398 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126688922 14309736448 6714 18446744073709551615 4194304 4196468 140722623803536 139651870243600 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18406] ppid=18398 vsize=13974352 memory=139854137685632 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18406/stat : 18406 (java) S 18398 18398 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126688923 14309736448 6714 18446744073709551615 4194304 4196468 140722623803536 139651477154160 139651931466370 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18407] ppid=18398 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18407/stat : 18407 (java) S 18398 18398 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 126688924 14309736448 6714 18446744073709551615 4194304 4196468 140722623803536 139651476100128 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18408] ppid=18398 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18408/stat : 18408 (java) S 18398 18398 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 126688924 14309736448 6714 18446744073709551615 4194304 4196468 140722623803536 139651475047280 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18409] ppid=18398 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18409/stat : 18409 (java) S 18398 18398 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126688926 14309736448 6714 18446744073709551615 4194304 4196468 140722623803536 139651473995600 139651931473819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18410] ppid=18398 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18410/stat : 18410 (java) R 18398 18398 4674 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 126688926 14309736448 6714 18446744073709551615 4194304 4196468 140722623803536 139651472943984 139651931466370 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18411] ppid=18398 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18411/stat : 18411 (java) S 18398 18398 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126688926 14309736448 6714 18446744073709551615 4194304 4196468 140722623803536 139651471891184 139651931466370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18412] ppid=18398 vsize=13974352 memory=139854137685632 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18412/stat : 18412 (java) R 18398 18398 4674 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 15 0 126688926 14309736448 6714 18446744073709551615 4194304 4196468 140722623803536 139651470838384 139651931466370 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18413] ppid=18398 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18413/stat : 18413 (java) S 18398 18398 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126688927 14309736448 6714 18446744073709551615 4194304 4196468 140722623803536 139651469785824 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18414] ppid=18398 vsize=13974352 memory=139854137685632 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18414/stat : 18414 (java) S 18398 18398 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126688933 14309736448 6714 18446744073709551615 4194304 4196468 140722623803536 139651468733104 139651931466370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28236 KiB
[startup+0.31042 s]*
/proc/loadavg: 4.14 3.43 2.58 4/215 18414
/proc/meminfo: memFree=22114164/32770624 swapFree=67108764/67108860
[pid=18398] ppid=18395 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18398/stat : 18398 (xcsp3-exec) S 18395 18398 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 126688912 9740288 345 18446744073709551615 4194304 5098028 140729947427552 140729947425656 140564413543036 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 28667904 140729947431288 140729947431493 140729947431493 140729947434987 0
/proc/18398/statm: 2378 345 289 221 0 87 0
[pid=18400] ppid=18398 vsize=13974352 memory=37116 CPUtime=0.25 cores=1,3,5,7
/proc/18400/stat : 18400 (java) S 18398 18398 4674 0 -1 1077944320 8802 0 0 0 23 2 0 0 20 0 15 0 126688921 14309736448 9279 18446744073709551615 4194304 4196468 140722623803536 140722623786080 139651931455223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
/proc/18400/statm: 3493588 9279 2980 1 0 3482964 0
[pid=18400/tid=18401] ppid=18398 vsize=13974352 memory=4278483708103473607 CPUtime=0.15 cores=1,3,5,7
/proc/18400/task/18401/stat : 18401 (java) R 18398 18398 4674 0 -1 4202560 6006 0 0 0 14 1 0 0 20 0 15 0 126688921 14309736448 9279 18446744073709551615 4194304 4196468 140722623803536 139651935677600 139651915535710 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18402] ppid=18398 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18402/stat : 18402 (java) S 18398 18398 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126688922 14309736448 9279 18446744073709551615 4194304 4196468 140722623803536 139651873402000 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18403] ppid=18398 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18403/stat : 18403 (java) S 18398 18398 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126688922 14309736448 9279 18446744073709551615 4194304 4196468 140722623803536 139651872349200 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18404] ppid=18398 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18404/stat : 18404 (java) S 18398 18398 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126688922 14309736448 9279 18446744073709551615 4194304 4196468 140722623803536 139651871296400 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18405] ppid=18398 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18405/stat : 18405 (java) S 18398 18398 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126688922 14309736448 9279 18446744073709551615 4194304 4196468 140722623803536 139651870243600 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18406] ppid=18398 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18406/stat : 18406 (java) S 18398 18398 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126688923 14309736448 9279 18446744073709551615 4194304 4196468 140722623803536 139651477154160 139651931466370 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18407] ppid=18398 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18407/stat : 18407 (java) S 18398 18398 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 126688924 14309736448 9279 18446744073709551615 4194304 4196468 140722623803536 139651476100128 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18408] ppid=18398 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18408/stat : 18408 (java) S 18398 18398 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 126688924 14309736448 9279 18446744073709551615 4194304 4196468 140722623803536 139651475047280 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18409] ppid=18398 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18409/stat : 18409 (java) S 18398 18398 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126688926 14309736448 9279 18446744073709551615 4194304 4196468 140722623803536 139651473995600 139651931473819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18410] ppid=18398 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18400/task/18410/stat : 18410 (java) S 18398 18398 4674 0 -1 1077944384 409 0 0 0 1 0 0 0 20 0 15 0 126688926 14309736448 9279 18446744073709551615 4194304 4196468 140722623803536 139651472943984 139651931466370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18411] ppid=18398 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/18400/task/18411/stat : 18411 (java) S 18398 18398 4674 0 -1 1077944384 351 0 0 0 1 0 0 0 20 0 15 0 126688926 14309736448 9279 18446744073709551615 4194304 4196468 140722623803536 139651471891184 139651931466370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18412] ppid=18398 vsize=13974352 memory=139854137685632 CPUtime=0.05 cores=1,3,5,7
/proc/18400/task/18412/stat : 18412 (java) S 18398 18398 4674 0 -1 1077944384 737 0 0 0 5 0 0 0 20 0 15 0 126688926 14309736448 9279 18446744073709551615 4194304 4196468 140722623803536 139651470838384 139651931466370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18413] ppid=18398 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18413/stat : 18413 (java) S 18398 18398 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126688927 14309736448 9279 18446744073709551615 4194304 4196468 140722623803536 139651469785824 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18414] ppid=18398 vsize=13974352 memory=139854137685632 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18414/stat : 18414 (java) S 18398 18398 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126688933 14309736448 9279 18446744073709551615 4194304 4196468 140722623803536 139651468733104 139651931466370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38496 KiB
[startup+0.702371 s]
/proc/loadavg: 4.14 3.43 2.58 4/215 18414
/proc/meminfo: memFree=22099852/32770624 swapFree=67108764/67108860
[pid=18398] ppid=18395 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18398/stat : 18398 (xcsp3-exec) S 18395 18398 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 126688912 9740288 345 18446744073709551615 4194304 5098028 140729947427552 140729947425656 140564413543036 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 28667904 140729947431288 140729947431493 140729947431493 140729947434987 0
/proc/18398/statm: 2378 345 289 221 0 87 0
[pid=18400] ppid=18398 vsize=13980732 memory=80012 CPUtime=1.32 cores=1,3,5,7
/proc/18400/stat : 18400 (java) S 18398 18398 4674 0 -1 1077944320 13657 0 0 0 128 4 0 0 20 0 15 0 126688921 14316269568 20003 18446744073709551615 4194304 4196468 140722623803536 140722623786080 139651931455223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
/proc/18400/statm: 3495183 20003 3168 1 0 3483476 0
[pid=18400/tid=18401] ppid=18398 vsize=13980732 memory=5788922476706229588 CPUtime=0.54 cores=1,3,5,7
/proc/18400/task/18401/stat : 18401 (java) R 18398 18398 4674 0 -1 4202560 7937 0 0 0 51 3 0 0 20 0 15 0 126688921 14316269568 20003 18446744073709551615 4194304 4196468 140722623803536 139651935677264 139651917671144 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18402] ppid=18398 vsize=13980732 memory=7590642703118913872 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18402/stat : 18402 (java) S 18398 18398 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126688922 14316269568 20003 18446744073709551615 4194304 4196468 140722623803536 139651873402000 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18403] ppid=18398 vsize=13980732 memory=279708000454216 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18403/stat : 18403 (java) S 18398 18398 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126688922 14316269568 20003 18446744073709551615 4194304 4196468 140722623803536 139651872349200 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18404] ppid=18398 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18404/stat : 18404 (java) S 18398 18398 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126688922 14316269568 20003 18446744073709551615 4194304 4196468 140722623803536 139651871296400 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18405] ppid=18398 vsize=13980732 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18405/stat : 18405 (java) S 18398 18398 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126688922 14316269568 20003 18446744073709551615 4194304 4196468 140722623803536 139651870243600 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18406] ppid=18398 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18406/stat : 18406 (java) S 18398 18398 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 126688923 14316269568 20003 18446744073709551615 4194304 4196468 140722623803536 139651477154160 139651931466370 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18407] ppid=18398 vsize=13980732 memory=-1807685287725067907 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18407/stat : 18407 (java) S 18398 18398 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 126688924 14316269568 20003 18446744073709551615 4194304 4196468 140722623803536 139651476100128 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18408] ppid=18398 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18408/stat : 18408 (java) S 18398 18398 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 126688924 14316269568 20003 18446744073709551615 4194304 4196468 140722623803536 139651475047280 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18409] ppid=18398 vsize=13980732 memory=-1088251628401078322 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18409/stat : 18409 (java) S 18398 18398 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126688926 14316269568 20003 18446744073709551615 4194304 4196468 140722623803536 139651473995600 139651931473819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18410] ppid=18398 vsize=13980732 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/18400/task/18410/stat : 18410 (java) R 18398 18398 4674 0 -1 4202560 1128 0 0 0 21 0 0 0 20 0 15 0 126688926 14316269568 20003 18446744073709551615 4194304 4196468 140722623803536 139651472925584 139651912178524 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18411] ppid=18398 vsize=13980732 memory=3048 CPUtime=0.24 cores=1,3,5,7
/proc/18400/task/18411/stat : 18411 (java) R 18398 18398 4674 0 -1 4202560 1488 0 0 0 24 0 0 0 20 0 15 0 126688926 14316269568 20003 18446744073709551615 4194304 4196468 140722623803536 139651471879536 139651911308761 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18412] ppid=18398 vsize=13980732 memory=4278483708103473607 CPUtime=0.3 cores=1,3,5,7
/proc/18400/task/18412/stat : 18412 (java) S 18398 18398 4674 0 -1 1077944384 1796 0 0 0 30 0 0 0 20 0 15 0 126688926 14316269568 20003 18446744073709551615 4194304 4196468 140722623803536 139651470838384 139651931466370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18413] ppid=18398 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18413/stat : 18413 (java) S 18398 18398 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126688927 14316269568 20003 18446744073709551615 4194304 4196468 140722623803536 139651469785824 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18414] ppid=18398 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18414/stat : 18414 (java) S 18398 18398 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126688933 14316269568 20003 18446744073709551615 4194304 4196468 140722623803536 139651468733104 139651931466370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 81392 KiB
[startup+1.50337 s]
/proc/loadavg: 4.14 3.43 2.58 5/215 18414
/proc/meminfo: memFree=22010164/32770624 swapFree=67108764/67108860
[pid=18398] ppid=18395 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18398/stat : 18398 (xcsp3-exec) S 18395 18398 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 126688912 9740288 345 18446744073709551615 4194304 5098028 140729947427552 140729947425656 140564413543036 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 28667904 140729947431288 140729947431493 140729947431493 140729947434987 0
/proc/18398/statm: 2378 345 289 221 0 87 0
[pid=18400] ppid=18398 vsize=13980732 memory=153516 CPUtime=3.95 cores=1,3,5,7
/proc/18400/stat : 18400 (java) S 18398 18398 4674 0 -1 1077944320 22615 0 0 0 388 7 0 0 20 0 15 0 126688921 14316269568 38379 18446744073709551615 4194304 4196468 140722623803536 140722623786080 139651931455223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
/proc/18400/statm: 3495183 38379 3199 1 0 3483476 0
[pid=18400/tid=18401] ppid=18398 vsize=13980732 memory=279708000444336 CPUtime=1.33 cores=1,3,5,7
/proc/18400/task/18401/stat : 18401 (java) R 18398 18398 4674 0 -1 4202560 9873 0 0 0 129 4 0 0 20 0 15 0 126688921 14316269568 38379 18446744073709551615 4194304 4196468 140722623803536 139651935692152 139651550632835 0 4 1 16800974 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18402] ppid=18398 vsize=13980732 memory=279708000422944 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18402/stat : 18402 (java) S 18398 18398 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126688922 14316269568 38379 18446744073709551615 4194304 4196468 140722623803536 139651873402000 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18403] ppid=18398 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18403/stat : 18403 (java) S 18398 18398 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126688922 14316269568 38379 18446744073709551615 4194304 4196468 140722623803536 139651872349200 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18404] ppid=18398 vsize=13980732 memory=3047711428313195656 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18404/stat : 18404 (java) S 18398 18398 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126688922 14316269568 38379 18446744073709551615 4194304 4196468 140722623803536 139651871296400 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18405] ppid=18398 vsize=13980732 memory=3047711428313588876 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18405/stat : 18405 (java) S 18398 18398 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126688922 14316269568 38379 18446744073709551615 4194304 4196468 140722623803536 139651870243600 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18406] ppid=18398 vsize=13980732 memory=279708000505216 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18406/stat : 18406 (java) S 18398 18398 4674 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 126688923 14316269568 38379 18446744073709551615 4194304 4196468 140722623803536 139651477154160 139651931466370 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18407] ppid=18398 vsize=13980732 memory=279708000321776 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18407/stat : 18407 (java) S 18398 18398 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 126688924 14316269568 38379 18446744073709551615 4194304 4196468 140722623803536 139651476100128 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18408] ppid=18398 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/18400/task/18408/stat : 18408 (java) S 18398 18398 4674 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 126688924 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651475047280 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18409] ppid=18398 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18409/stat : 18409 (java) S 18398 18398 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126688926 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651473995600 139651931473819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18410] ppid=18398 vsize=13980732 memory=1380 CPUtime=2 cores=1,3,5,7
/proc/18400/task/18410/stat : 18410 (java) S 18398 18398 4674 0 -1 1077944384 14244 0 0 0 199 1 0 0 20 0 15 0 126688926 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651472943984 139651931466370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18411] ppid=18398 vsize=13980732 memory=1204 CPUtime=2.6 cores=1,3,5,7
/proc/18400/task/18411/stat : 18411 (java) S 18398 18398 4674 0 -1 1077944384 22748 0 0 0 258 2 0 0 20 0 15 0 126688926 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651471891184 139651931466370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18412] ppid=18398 vsize=13980732 memory=15880 CPUtime=0.78 cores=1,3,5,7
/proc/18400/task/18412/stat : 18412 (java) S 18398 18398 4674 0 -1 1077944384 11992 0 0 0 76 2 0 0 20 0 15 0 126688926 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651470838384 139651931466370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18413] ppid=18398 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18413/stat : 18413 (java) S 18398 18398 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126688927 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651469785824 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18414] ppid=18398 vsize=13980732 memory=1380 CPUtime=0.68 cores=1,3,5,7
/proc/18400/task/18414/stat : 18414 (java) S 18398 18398 4674 0 -1 1077944384 1439 0 0 0 34 34 0 0 20 0 15 0 126688933 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651468733104 139651931466370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
Current children cumulated CPU time: 2448.78 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 163776 KiB
[startup+2502.3 s]
/proc/loadavg: 1.80 1.88 1.98 3/215 18670
/proc/meminfo: memFree=31286284/32770624 swapFree=67108764/67108860
[pid=18398] ppid=18395 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18398/stat : 18398 (xcsp3-exec) S 18395 18398 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 126688912 9740288 345 18446744073709551615 4194304 5098028 140729947427552 140729947425656 140564413543036 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 28667904 140729947431288 140729947431493 140729947431493 140729947434987 0
/proc/18398/statm: 2378 345 289 221 0 87 0
[pid=18400] ppid=18398 vsize=13980732 memory=162396 CPUtime=2508.81 cores=1,3,5,7
/proc/18400/stat : 18400 (java) S 18398 18398 4674 0 -1 1077944320 96544 0 0 0 250826 55 0 0 20 0 15 0 126688921 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 140722623786080 139651931455223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
/proc/18400/statm: 3495183 40599 3242 1 0 3483476 0
[pid=18400/tid=18401] ppid=18398 vsize=13980732 memory=162396 CPUtime=2501.82 cores=1,3,5,7
/proc/18400/task/18401/stat : 18401 (java) R 18398 18398 4674 0 -1 4202560 25818 0 0 0 250175 7 0 0 20 0 15 0 126688921 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651935694992 139651555690277 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18402] ppid=18398 vsize=13980732 memory=1380 CPUtime=0.17 cores=1,3,5,7
/proc/18400/task/18402/stat : 18402 (java) S 18398 18398 4674 0 -1 1077944384 3045 0 0 0 15 2 0 0 20 0 15 0 126688922 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651873402000 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18403] ppid=18398 vsize=13980732 memory=162396 CPUtime=0.17 cores=1,3,5,7
/proc/18400/task/18403/stat : 18403 (java) S 18398 18398 4674 0 -1 1077944384 4016 0 0 0 15 2 0 0 20 0 15 0 126688922 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651872349200 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18404] ppid=18398 vsize=13980732 memory=162396 CPUtime=0.17 cores=1,3,5,7
/proc/18400/task/18404/stat : 18404 (java) S 18398 18398 4674 0 -1 1077944384 1847 0 0 0 15 2 0 0 20 0 15 0 126688922 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651871296400 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18405] ppid=18398 vsize=13980732 memory=1380 CPUtime=0.18 cores=1,3,5,7
/proc/18400/task/18405/stat : 18405 (java) S 18398 18398 4674 0 -1 1077944384 4805 0 0 0 15 3 0 0 20 0 15 0 126688922 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651870243600 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18406] ppid=18398 vsize=13980732 memory=162396 CPUtime=0.13 cores=1,3,5,7
/proc/18400/task/18406/stat : 18406 (java) S 18398 18398 4674 0 -1 1077944384 5195 0 0 0 10 3 0 0 20 0 15 0 126688923 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651477154160 139651931466370 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18407] ppid=18398 vsize=13980732 memory=162396 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18407/stat : 18407 (java) S 18398 18398 4674 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 126688924 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651476100128 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18408] ppid=18398 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18408/stat : 18408 (java) S 18398 18398 4674 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 126688924 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651475047280 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18409] ppid=18398 vsize=13980732 memory=162396 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18409/stat : 18409 (java) S 18398 18398 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126688926 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651473995600 139651931473819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18410] ppid=18398 vsize=13980732 memory=1380 CPUtime=2 cores=1,3,5,7
/proc/18400/task/18410/stat : 18410 (java) S 18398 18398 4674 0 -1 1077944384 14244 0 0 0 199 1 0 0 20 0 15 0 126688926 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651472943984 139651931466370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18411] ppid=18398 vsize=13980732 memory=4148 CPUtime=2.6 cores=1,3,5,7
/proc/18400/task/18411/stat : 18411 (java) S 18398 18398 4674 0 -1 1077944384 22748 0 0 0 258 2 0 0 20 0 15 0 126688926 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651471891184 139651931466370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18412] ppid=18398 vsize=13980732 memory=61712 CPUtime=0.78 cores=1,3,5,7
/proc/18400/task/18412/stat : 18412 (java) S 18398 18398 4674 0 -1 1077944384 11992 0 0 0 76 2 0 0 20 0 15 0 126688926 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651470838384 139651931466370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18413] ppid=18398 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18413/stat : 18413 (java) S 18398 18398 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126688927 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651469785824 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18414] ppid=18398 vsize=13980732 memory=1380 CPUtime=0.7 cores=1,3,5,7
/proc/18400/task/18414/stat : 18414 (java) S 18398 18398 4674 0 -1 1077944384 1443 0 0 0 35 35 0 0 20 0 15 0 126688933 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651468733104 139651931466370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
Current children cumulated CPU time: 2508.81 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 163776 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.5 s]
/proc/loadavg: 1.83 1.89 1.98 3/215 18670
/proc/meminfo: memFree=31276108/32770624 swapFree=67108764/67108860
[pid=18398] ppid=18395 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18398/stat : 18398 (xcsp3-exec) S 18395 18398 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 126688912 9740288 345 18446744073709551615 4194304 5098028 140729947427552 140729947425656 140564413543036 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 28667904 140729947431288 140729947431493 140729947431493 140729947434987 0
/proc/18398/statm: 2378 345 289 221 0 87 0
[pid=18400] ppid=18398 vsize=13980732 memory=162396 CPUtime=2520.01 cores=1,3,5,7
/proc/18400/stat : 18400 (java) S 18398 18398 4674 0 -1 1077944320 96544 0 0 0 251946 55 0 0 20 0 15 0 126688921 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 140722623786080 139651931455223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
/proc/18400/statm: 3495183 40599 3242 1 0 3483476 0
[pid=18400/tid=18401] ppid=18398 vsize=13980732 memory=1380 CPUtime=2513.02 cores=1,3,5,7
/proc/18400/task/18401/stat : 18401 (java) R 18398 18398 4674 0 -1 4202560 25818 0 0 0 251295 7 0 0 20 0 15 0 126688921 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651935694992 139651555794487 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18402] ppid=18398 vsize=13980732 memory=162396 CPUtime=0.17 cores=1,3,5,7
/proc/18400/task/18402/stat : 18402 (java) S 18398 18398 4674 0 -1 1077944384 3045 0 0 0 15 2 0 0 20 0 15 0 126688922 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651873402000 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18403] ppid=18398 vsize=13980732 memory=1380 CPUtime=0.17 cores=1,3,5,7
/proc/18400/task/18403/stat : 18403 (java) S 18398 18398 4674 0 -1 1077944384 4016 0 0 0 15 2 0 0 20 0 15 0 126688922 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651872349200 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18404] ppid=18398 vsize=13980732 memory=162396 CPUtime=0.17 cores=1,3,5,7
/proc/18400/task/18404/stat : 18404 (java) S 18398 18398 4674 0 -1 1077944384 1847 0 0 0 15 2 0 0 20 0 15 0 126688922 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651871296400 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18405] ppid=18398 vsize=13980732 memory=1380 CPUtime=0.18 cores=1,3,5,7
/proc/18400/task/18405/stat : 18405 (java) S 18398 18398 4674 0 -1 1077944384 4805 0 0 0 15 3 0 0 20 0 15 0 126688922 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651870243600 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18406] ppid=18398 vsize=13980732 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/18400/task/18406/stat : 18406 (java) S 18398 18398 4674 0 -1 1077944384 5195 0 0 0 10 3 0 0 20 0 15 0 126688923 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651477154160 139651931466370 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18407] ppid=18398 vsize=13980732 memory=61712 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18407/stat : 18407 (java) S 18398 18398 4674 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 126688924 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651476100128 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18408] ppid=18398 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18408/stat : 18408 (java) S 18398 18398 4674 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 126688924 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651475047280 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18409] ppid=18398 vsize=13980732 memory=162396 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18409/stat : 18409 (java) S 18398 18398 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126688926 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651473995600 139651931473819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18410] ppid=18398 vsize=13980732 memory=1380 CPUtime=2 cores=1,3,5,7
/proc/18400/task/18410/stat : 18410 (java) S 18398 18398 4674 0 -1 1077944384 14244 0 0 0 199 1 0 0 20 0 15 0 126688926 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651472943984 139651931466370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18411] ppid=18398 vsize=13980732 memory=162396 CPUtime=2.6 cores=1,3,5,7
/proc/18400/task/18411/stat : 18411 (java) S 18398 18398 4674 0 -1 1077944384 22748 0 0 0 258 2 0 0 20 0 15 0 126688926 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651471891184 139651931466370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18412] ppid=18398 vsize=13980732 memory=1380 CPUtime=0.78 cores=1,3,5,7
/proc/18400/task/18412/stat : 18412 (java) S 18398 18398 4674 0 -1 1077944384 11992 0 0 0 76 2 0 0 20 0 15 0 126688926 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651470838384 139651931466370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18413] ppid=18398 vsize=13980732 memory=162396 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18413/stat : 18413 (java) S 18398 18398 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126688927 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651469785824 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18414] ppid=18398 vsize=13980732 memory=644 CPUtime=0.7 cores=1,3,5,7
/proc/18400/task/18414/stat : 18414 (java) S 18398 18398 4674 0 -1 1077944384 1443 0 0 0 35 35 0 0 20 0 15 0 126688933 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651468733104 139651931466370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 163776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.51 s]
# the end of solver process 18398 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001852 s, system=0 s
[startup+2513.51 s]
# the end of solver process 18400 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.48 s, system=0.562083 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+2513.5 s]
/proc/loadavg: 1.83 1.89 1.98 3/215 18670
/proc/meminfo: memFree=31276108/32770624 swapFree=67108764/67108860
[pid=18398] ppid=18395 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18398/stat : 18398 (xcsp3-exec) S 18395 18398 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 126688912 9740288 345 18446744073709551615 4194304 5098028 140729947427552 140729947425656 140564413543036 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 28667904 140729947431288 140729947431493 140729947431493 140729947434987 0
/proc/18398/statm: 2378 345 289 221 0 87 0
[pid=18400] ppid=18398 vsize=13980732 memory=162396 CPUtime=2520.01 cores=1,3,5,7
/proc/18400/stat : 18400 (java) S 18398 18398 4674 0 -1 1077944320 96544 0 0 0 251946 55 0 0 20 0 15 0 126688921 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 140722623786080 139651931455223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
/proc/18400/statm: 3495183 40599 3242 1 0 3483476 0
[pid=18400/tid=18401] ppid=18398 vsize=13980732 memory=1380 CPUtime=2513.02 cores=1,3,5,7
/proc/18400/task/18401/stat : 18401 (java) R 18398 18398 4674 0 -1 4202560 25818 0 0 0 251295 7 0 0 20 0 15 0 126688921 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651935694992 139651555794487 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18402] ppid=18398 vsize=13980732 memory=162396 CPUtime=0.17 cores=1,3,5,7
/proc/18400/task/18402/stat : 18402 (java) S 18398 18398 4674 0 -1 1077944384 3045 0 0 0 15 2 0 0 20 0 15 0 126688922 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651873402000 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18403] ppid=18398 vsize=13980732 memory=1380 CPUtime=0.17 cores=1,3,5,7
/proc/18400/task/18403/stat : 18403 (java) S 18398 18398 4674 0 -1 1077944384 4016 0 0 0 15 2 0 0 20 0 15 0 126688922 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651872349200 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18404] ppid=18398 vsize=13980732 memory=162396 CPUtime=0.17 cores=1,3,5,7
/proc/18400/task/18404/stat : 18404 (java) S 18398 18398 4674 0 -1 1077944384 1847 0 0 0 15 2 0 0 20 0 15 0 126688922 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651871296400 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18405] ppid=18398 vsize=13980732 memory=1380 CPUtime=0.18 cores=1,3,5,7
/proc/18400/task/18405/stat : 18405 (java) S 18398 18398 4674 0 -1 1077944384 4805 0 0 0 15 3 0 0 20 0 15 0 126688922 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651870243600 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18406] ppid=18398 vsize=13980732 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/18400/task/18406/stat : 18406 (java) S 18398 18398 4674 0 -1 1077944384 5195 0 0 0 10 3 0 0 20 0 15 0 126688923 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651477154160 139651931466370 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18407] ppid=18398 vsize=13980732 memory=61712 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18407/stat : 18407 (java) S 18398 18398 4674 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 126688924 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651476100128 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18408] ppid=18398 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18408/stat : 18408 (java) S 18398 18398 4674 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 126688924 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651475047280 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18409] ppid=18398 vsize=13980732 memory=162396 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18409/stat : 18409 (java) S 18398 18398 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126688926 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651473995600 139651931473819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18410] ppid=18398 vsize=13980732 memory=1380 CPUtime=2 cores=1,3,5,7
/proc/18400/task/18410/stat : 18410 (java) S 18398 18398 4674 0 -1 1077944384 14244 0 0 0 199 1 0 0 20 0 15 0 126688926 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651472943984 139651931466370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18411] ppid=18398 vsize=13980732 memory=162396 CPUtime=2.6 cores=1,3,5,7
/proc/18400/task/18411/stat : 18411 (java) S 18398 18398 4674 0 -1 1077944384 22748 0 0 0 258 2 0 0 20 0 15 0 126688926 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651471891184 139651931466370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18412] ppid=18398 vsize=13980732 memory=1380 CPUtime=0.78 cores=1,3,5,7
/proc/18400/task/18412/stat : 18412 (java) S 18398 18398 4674 0 -1 1077944384 11992 0 0 0 76 2 0 0 20 0 15 0 126688926 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651470838384 139651931466370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18413] ppid=18398 vsize=13980732 memory=162396 CPUtime=0 cores=1,3,5,7
/proc/18400/task/18413/stat : 18413 (java) S 18398 18398 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126688927 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651469785824 139651931465429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
[pid=18400/tid=18414] ppid=18398 vsize=13980732 memory=644 CPUtime=0.7 cores=1,3,5,7
/proc/18400/task/18414/stat : 18414 (java) S 18398 18398 4674 0 -1 1077944384 1443 0 0 0 35 35 0 0 20 0 15 0 126688933 14316269568 40599 18446744073709551615 4194304 4196468 140722623803536 139651468733104 139651931466370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 16166912 140722623812017 140722623812193 140722623812193 140722623815631 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 163776 KiB
Child status: 143
Real time (s): 2513.51
CPU time (s): 2520.04
CPU user time (s): 2519.48
CPU system time (s): 0.562083
CPU usage (%): 100.26
Max. virtual memory (cumulated for all children) (KiB): 13992268
Max. memory (cumulated for all children) (KiB): 244860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.48
system time used= 0.562083
maximum resident set size= 243980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97364
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59586
involuntary context switches= 1637
# summary of solver processes directly reported to runsolver:
# pid: 18398,18400
# total CPU time (s): 2520.04
# total CPU user time (s): 2519.48
# total CPU system time (s): 0.562083
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8374 second user time and 23.2302 second system time
The end