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 (3209 MiB free)
memory of node 1: 16384 MiB (3459 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404209-1568991690/watcher-4404209-1568991690 -o /var/tmp/evaluation-result-4404209-1568991690/solver-4404209-1568991690 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node126-1568991652-22530 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1682714801 HOME/instance-4404209-1568991690.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22555, runsolver pid=22551
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 0.78 0.71 0.92 4/231 22590
/proc/meminfo: memFree=6800040/32770624 swapFree=66993280/67108860
[pid=22555] ppid=22551 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (xcsp3-exec) S 22551 22555 22498 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475436773 115843072 364 33554432000 4194304 5098028 140735935550832 140735935548936 139664958411388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27103232 140735935558486 140735935558745 140735935558745 140735935561670 0
/proc/22555/statm: 28282 364 305 221 0 87 0
[pid=22561] ppid=22555 vsize=15144776 memory=28184 CPUtime=0.13 cores=1,3,5,7
/proc/22561/stat : 22561 (java) S 22555 22555 22498 0 -1 1077944320 5974 0 0 0 12 1 0 0 20 0 15 0 475436773 15508250624 7046 33554432000 4194304 4196468 140733971350352 140733971332896 139851013721847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
/proc/22561/statm: 3786194 7046 3152 1 0 3748377 0
[pid=22561/tid=22563] ppid=22555 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/22561/task/22563/stat : 22563 (java) R 22555 22555 22498 0 -1 4202560 3859 0 0 0 8 1 0 0 20 0 15 0 475436774 15508250624 7112 33554432000 4194304 4196468 140733971350352 139851017956128 139850998889436 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22565] ppid=22555 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22565/stat : 22565 (java) S 22555 22555 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475436774 15508250624 7112 33554432000 4194304 4196468 140733971350352 139850605587472 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22566] ppid=22555 vsize=15144776 memory=3762116431904577184 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22566/stat : 22566 (java) S 22555 22555 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475436774 15508250624 7112 33554432000 4194304 4196468 140733971350352 139850604534928 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22567] ppid=22555 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22567/stat : 22567 (java) S 22555 22555 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475436774 15508250624 7112 33554432000 4194304 4196468 140733971350352 139850603481872 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22569] ppid=22555 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22569/stat : 22569 (java) S 22555 22555 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475436774 15508250624 7112 33554432000 4194304 4196468 140733971350352 139850602429328 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22573] ppid=22555 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22573/stat : 22573 (java) S 22555 22555 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475436776 15508250624 7112 33554432000 4194304 4196468 140733971350352 139850089089264 139851013732994 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22576] ppid=22555 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22576/stat : 22576 (java) S 22555 22555 22498 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475436776 15508250624 7112 33554432000 4194304 4196468 140733971350352 139850088035488 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22578] ppid=22555 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22578/stat : 22578 (java) S 22555 22555 22498 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475436776 15508250624 7112 33554432000 4194304 4196468 140733971350352 139850086982384 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22583] ppid=22555 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22583/stat : 22583 (java) S 22555 22555 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475436779 15508250624 7112 33554432000 4194304 4196468 140733971350352 139850085930960 139851013740443 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22584] ppid=22555 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22584/stat : 22584 (java) R 22555 22555 22498 0 -1 4202560 480 0 0 0 0 0 0 0 20 0 15 0 475436779 15508250624 7112 33554432000 4194304 4196468 140733971350352 139850084870592 139850991554704 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22585] ppid=22555 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22585/stat : 22585 (java) R 22555 22555 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475436779 15508250624 7112 33554432000 4194304 4196468 140733971350352 139850083826640 139851013732053 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22586] ppid=22555 vsize=15144776 memory=140484711356032 CPUtime=0.02 cores=1,3,5,7
/proc/22561/task/22586/stat : 22586 (java) R 22555 22555 22498 0 -1 4202560 371 0 0 0 2 0 0 0 20 0 15 0 475436779 15508250624 7112 33554432000 4194304 4196468 140733971350352 139850082773488 139850992294787 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22588] ppid=22555 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22588/stat : 22588 (java) S 22555 22555 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475436779 15508250624 7112 33554432000 4194304 4196468 140733971350352 139850081721184 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22590] ppid=22555 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22590/stat : 22590 (java) S 22555 22555 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475436779 15508250624 7112 33554432000 4194304 4196468 140733971350352 139850080668208 139851013732994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29640 KiB
[startup+0.211005 s]*
/proc/loadavg: 0.78 0.71 0.92 5/231 22590
/proc/meminfo: memFree=6771220/32770624 swapFree=66993280/67108860
[pid=22555] ppid=22551 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (xcsp3-exec) S 22551 22555 22498 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475436773 115843072 364 33554432000 4194304 5098028 140735935550832 140735935548936 139664958411388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27103232 140735935558486 140735935558745 140735935558745 140735935561670 0
/proc/22555/statm: 28282 364 305 221 0 87 0
[pid=22561] ppid=22555 vsize=15144776 memory=40116 CPUtime=0.35 cores=1,3,5,7
/proc/22561/stat : 22561 (java) S 22555 22555 22498 0 -1 1077944320 9739 0 0 0 32 3 0 0 20 0 15 0 475436773 15508250624 10029 33554432000 4194304 4196468 140733971350352 140733971332896 139851013721847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
/proc/22561/statm: 3786194 10029 3325 1 0 3748377 0
[pid=22561/tid=22563] ppid=22555 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/22561/task/22563/stat : 22563 (java) R 22555 22555 22498 0 -1 4202560 6679 0 0 0 18 2 0 0 20 0 15 0 475436774 15508250624 10029 33554432000 4194304 4196468 140733971350352 139851017952400 139851013733782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22565] ppid=22555 vsize=15144776 memory=8998 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22565/stat : 22565 (java) S 22555 22555 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475436774 15508250624 10029 33554432000 4194304 4196468 140733971350352 139850605587472 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22566] ppid=22555 vsize=15144776 memory=140484714932273 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22566/stat : 22566 (java) S 22555 22555 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475436774 15508250624 10029 33554432000 4194304 4196468 140733971350352 139850604534928 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22567] ppid=22555 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22567/stat : 22567 (java) S 22555 22555 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475436774 15508250624 10029 33554432000 4194304 4196468 140733971350352 139850603481872 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22569] ppid=22555 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22569/stat : 22569 (java) S 22555 22555 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475436774 15508250624 10029 33554432000 4194304 4196468 140733971350352 139850602429328 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22573] ppid=22555 vsize=15144776 memory=140484711356032 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22573/stat : 22573 (java) S 22555 22555 22498 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475436776 15508250624 10029 33554432000 4194304 4196468 140733971350352 139850089089264 139851013732994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22576] ppid=22555 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22576/stat : 22576 (java) S 22555 22555 22498 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475436776 15508250624 10029 33554432000 4194304 4196468 140733971350352 139850088035488 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22578] ppid=22555 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22578/stat : 22578 (java) S 22555 22555 22498 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475436776 15508250624 10029 33554432000 4194304 4196468 140733971350352 139850086982384 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22583] ppid=22555 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22583/stat : 22583 (java) S 22555 22555 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475436779 15508250624 10029 33554432000 4194304 4196468 140733971350352 139850085930960 139851013740443 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22584] ppid=22555 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22561/task/22584/stat : 22584 (java) S 22555 22555 22498 0 -1 1077944384 798 0 0 0 2 0 0 0 20 0 15 0 475436779 15508250624 10029 33554432000 4194304 4196468 140733971350352 139850084879088 139851013732994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22585] ppid=22555 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22561/task/22585/stat : 22585 (java) S 22555 22555 22498 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 15 0 475436779 15508250624 10029 33554432000 4194304 4196468 140733971350352 139850083826544 139851013732994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22586] ppid=22555 vsize=15144776 memory=140484711356032 CPUtime=0.08 cores=1,3,5,7
/proc/22561/task/22586/stat : 22586 (java) R 22555 22555 22498 0 -1 4202560 846 0 0 0 8 0 0 0 20 0 15 0 475436779 15508250624 10029 33554432000 4194304 4196468 140733971350352 139850082773296 139851013733782 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22588] ppid=22555 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22588/stat : 22588 (java) S 22555 22555 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475436779 15508250624 10029 33554432000 4194304 4196468 140733971350352 139850081721184 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22590] ppid=22555 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22590/stat : 22590 (java) S 22555 22555 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475436779 15508250624 10029 33554432000 4194304 4196468 140733971350352 139850080668208 139851013732994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41572 KiB
[startup+0.311108 s]*
/proc/loadavg: 0.78 0.71 0.92 5/231 22590
/proc/meminfo: memFree=6761216/32770624 swapFree=66993280/67108860
[pid=22555] ppid=22551 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (xcsp3-exec) S 22551 22555 22498 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475436773 115843072 364 33554432000 4194304 5098028 140735935550832 140735935548936 139664958411388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27103232 140735935558486 140735935558745 140735935558745 140735935561670 0
/proc/22555/statm: 28282 364 305 221 0 87 0
[pid=22561] ppid=22555 vsize=15149032 memory=48744 CPUtime=0.53 cores=1,3,5,7
/proc/22561/stat : 22561 (java) S 22555 22555 22498 0 -1 1077944320 10986 0 1 0 49 4 0 0 20 0 15 0 475436773 15512608768 12186 33554432000 4194304 4196468 140733971350352 140733971332896 139851013721847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
/proc/22561/statm: 3787258 12186 3356 1 0 3748377 0
[pid=22561/tid=22563] ppid=22555 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/22561/task/22563/stat : 22563 (java) R 22555 22555 22498 0 -1 4202560 7744 0 1 0 27 3 0 0 20 0 15 0 475436774 15512608768 12186 33554432000 4194304 4196468 140733971350352 139851017952960 139850997802334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22565] ppid=22555 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22565/stat : 22565 (java) S 22555 22555 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475436774 15512608768 12186 33554432000 4194304 4196468 140733971350352 139850605587472 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22566] ppid=22555 vsize=15149032 memory=9122464004270842071 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22566/stat : 22566 (java) S 22555 22555 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475436774 15512608768 12186 33554432000 4194304 4196468 140733971350352 139850604534928 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22567] ppid=22555 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22567/stat : 22567 (java) S 22555 22555 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475436774 15512608768 12186 33554432000 4194304 4196468 140733971350352 139850603481872 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22569] ppid=22555 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22569/stat : 22569 (java) S 22555 22555 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475436774 15512608768 12186 33554432000 4194304 4196468 140733971350352 139850602429328 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22573] ppid=22555 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22573/stat : 22573 (java) S 22555 22555 22498 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475436776 15512608768 12186 33554432000 4194304 4196468 140733971350352 139850089089264 139851013732994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22576] ppid=22555 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22576/stat : 22576 (java) S 22555 22555 22498 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475436776 15512608768 12186 33554432000 4194304 4196468 140733971350352 139850088035488 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22578] ppid=22555 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22578/stat : 22578 (java) S 22555 22555 22498 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475436776 15512608768 12186 33554432000 4194304 4196468 140733971350352 139850086982384 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22583] ppid=22555 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22583/stat : 22583 (java) S 22555 22555 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475436779 15512608768 12186 33554432000 4194304 4196468 140733971350352 139850085930960 139851013740443 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22584] ppid=22555 vsize=15149032 memory=7893295687695687954 CPUtime=0.04 cores=1,3,5,7
/proc/22561/task/22584/stat : 22584 (java) R 22555 22555 22498 0 -1 4202560 834 0 0 0 4 0 0 0 20 0 15 0 475436779 15512608768 12186 33554432000 4194304 4196468 140733971350352 139850084869472 139850999736156 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22585] ppid=22555 vsize=15149032 memory=-8813974798734826869 CPUtime=0.03 cores=1,3,5,7
/proc/22561/task/22585/stat : 22585 (java) R 22555 22555 22498 0 -1 1077944384 121 0 0 0 3 0 0 0 20 0 15 0 475436779 15512608768 12186 33554432000 4194304 4196468 140733971350352 139850083826544 139851013732994 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22586] ppid=22555 vsize=15149032 memory=7827413994055111515 CPUtime=0.13 cores=1,3,5,7
/proc/22561/task/22586/stat : 22586 (java) S 22555 22555 22498 0 -1 1077944384 981 0 0 0 13 0 0 0 20 0 15 0 475436779 15512608768 12186 33554432000 4194304 4196468 140733971350352 139850082773488 139851013732994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22588] ppid=22555 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22588/stat : 22588 (java) S 22555 22555 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475436779 15512608768 12186 33554432000 4194304 4196468 140733971350352 139850081721184 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22590] ppid=22555 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22590/stat : 22590 (java) S 22555 22555 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475436779 15512608768 12186 33554432000 4194304 4196468 140733971350352 139850080668208 139851013732994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50200 KiB
[startup+0.704733 s]
/proc/loadavg: 0.78 0.71 0.92 3/231 22590
/proc/meminfo: memFree=6726716/32770624 swapFree=66993280/67108860
[pid=22555] ppid=22551 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (xcsp3-exec) S 22551 22555 22498 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475436773 115843072 364 33554432000 4194304 5098028 140735935550832 140735935548936 139664958411388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27103232 140735935558486 140735935558745 140735935558745 140735935561670 0
/proc/22555/statm: 28282 364 305 221 0 87 0
[pid=22561] ppid=22555 vsize=15417412 memory=92424 CPUtime=1.7 cores=1,3,5,7
/proc/22561/stat : 22561 (java) S 22555 22555 22498 0 -1 1077944320 14847 0 1 0 164 6 0 0 20 0 19 0 475436773 15787429888 23106 33554432000 4194304 4196468 140733971350352 140733971332896 139851013721847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
/proc/22561/statm: 3854353 23106 3457 1 0 3815453 0
[pid=22561/tid=22563] ppid=22555 vsize=15417412 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/22561/task/22563/stat : 22563 (java) S 22555 22555 22498 0 -1 1077944384 9190 0 1 0 55 4 0 0 20 0 19 0 475436774 15787429888 23106 33554432000 4194304 4196468 140733971350352 139851017962624 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22565] ppid=22555 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22565/stat : 22565 (java) S 22555 22555 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475436774 15787429888 23106 33554432000 4194304 4196468 140733971350352 139850605587472 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22566] ppid=22555 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22566/stat : 22566 (java) S 22555 22555 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475436774 15787429888 23106 33554432000 4194304 4196468 140733971350352 139850604534928 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22567] ppid=22555 vsize=15417412 memory=9520 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22567/stat : 22567 (java) S 22555 22555 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475436774 15787429888 23106 33554432000 4194304 4196468 140733971350352 139850603481872 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22569] ppid=22555 vsize=15417412 memory=4076 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22569/stat : 22569 (java) S 22555 22555 22498 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475436774 15787429888 23106 33554432000 4194304 4196468 140733971350352 139850602429328 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22573] ppid=22555 vsize=15417412 memory=2836 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22573/stat : 22573 (java) S 22555 22555 22498 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475436776 15787429888 23106 33554432000 4194304 4196468 140733971350352 139850089089264 139851013732994 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22576] ppid=22555 vsize=15417412 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22576/stat : 22576 (java) S 22555 22555 22498 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475436776 15787429888 23106 33554432000 4194304 4196468 140733971350352 139850088035488 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22578] ppid=22555 vsize=15417412 memory=1736 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22578/stat : 22578 (java) S 22555 22555 22498 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475436776 15787429888 23106 33554432000 4194304 4196468 140733971350352 139850086982384 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22583] ppid=22555 vsize=15417412 memory=6100 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22583/stat : 22583 (java) S 22555 22555 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475436779 15787429888 23106 33554432000 4194304 4196468 140733971350352 139850085930960 139851013740443 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22584] ppid=22555 vsize=15417412 memory=772 CPUtime=0.31 cores=1,3,5,7
/proc/22561/task/22584/stat : 22584 (java) R 22555 22555 22498 0 -1 4202560 1658 0 0 0 31 0 0 0 20 0 19 0 475436779 15787429888 23106 33554432000 4194304 4196468 140733971350352 139850084879184 139850995241532 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22585] ppid=22555 vsize=15417412 memory=952 CPUtime=0.23 cores=1,3,5,7
/proc/22561/task/22585/stat : 22585 (java) R 22555 22555 22498 0 -1 4202560 619 0 0 0 23 0 0 0 20 0 19 0 475436779 15787429888 23106 33554432000 4194304 4196468 140733971350352 139850083818192 139850995027712 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22586] ppid=22555 vsize=15417412 memory=14008 CPUtime=0.34 cores=1,3,5,7
/proc/22561/task/22586/stat : 22586 (java) R 22555 22555 22498 0 -1 4202560 1859 0 0 0 34 0 0 0 20 0 19 0 475436779 15787429888 23106 33554432000 4194304 4196468 140733971350352 139850082769248 139850993436612 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22588] ppid=22555 vsize=15417412 memory=24008 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22588/stat : 22588 (java) S 22555 22555 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475436779 15787429888 23106 33554432000 4194304 4196468 140733971350352 139850081721184 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22590] ppid=22555 vsize=15417412 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22590/stat : 22590 (java) S 22555 22555 22498 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475436779 15787429888 23106 33554432000 4194304 4196468 140733971350352 139850080668208 139851013732994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 93880 KiB
[startup+1.51008 s]
/proc/loadavg: 0.78 0.71 0.92 16/239 22746
/proc/meminfo: memFree=6464740/32770624 swapFree=66993280/67108860
[pid=22555] ppid=22551 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (xcsp3-exec) S 22551 22555 22498 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475436773 115843072 364 33554432000 4194304 5098028 140735935550832 140735935548936 139664958411388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27103232 140735935558486 140735935558745 140735935558745 140735935561670 0
/proc/22555/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/22561/stat : 22561 (java) S 22555 22555 22498 0 -1 1077944320 66029 0 1 0 207444 42 0 0 20 0 19 0 475436773 16061128704 104094 33554432000 4194304 4196468 140733971350352 140733971332896 139851013721847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
/proc/22561/statm: 3921174 104094 3520 1 0 3882274 0
[pid=22561/tid=22563] ppid=22555 vsize=15684696 memory=1456 CPUtime=0.6 cores=1,3,5,7
/proc/22561/task/22563/stat : 22563 (java) S 22555 22555 22498 0 -1 1077944384 9427 0 1 0 56 4 0 0 20 0 19 0 475436774 16061128704 104094 33554432000 4194304 4196468 140733971350352 139851017962624 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22565] ppid=22555 vsize=15684696 memory=416376 CPUtime=0.65 cores=1,3,5,7
/proc/22561/task/22565/stat : 22565 (java) S 22555 22555 22498 0 -1 1077944384 1799 0 0 0 58 7 0 0 20 0 19 0 475436774 16061128704 104094 33554432000 4194304 4196468 140733971350352 139850605587472 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22566] ppid=22555 vsize=15684696 memory=1456 CPUtime=0.64 cores=1,3,5,7
/proc/22561/task/22566/stat : 22566 (java) S 22555 22555 22498 0 -1 1077944384 3276 0 0 0 57 7 0 0 20 0 19 0 475436774 16061128704 104094 33554432000 4194304 4196468 140733971350352 139850604534928 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22567] ppid=22555 vsize=15684696 memory=1456 CPUtime=0.64 cores=1,3,5,7
/proc/22561/task/22567/stat : 22567 (java) S 22555 22555 22498 0 -1 1077944384 2764 0 0 0 58 6 0 0 20 0 19 0 475436774 16061128704 104094 33554432000 4194304 4196468 140733971350352 139850603481872 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22569] ppid=22555 vsize=15684696 memory=404088 CPUtime=0.63 cores=1,3,5,7
/proc/22561/task/22569/stat : 22569 (java) S 22555 22555 22498 0 -1 1077944384 1748 0 0 0 57 6 0 0 20 0 19 0 475436774 16061128704 104094 33554432000 4194304 4196468 140733971350352 139850602429328 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22573] ppid=22555 vsize=15684696 memory=377224 CPUtime=0.36 cores=1,3,5,7
/proc/22561/task/22573/stat : 22573 (java) S 22555 22555 22498 0 -1 1077944384 2955 0 0 0 30 6 0 0 20 0 19 0 475436776 16061128704 104094 33554432000 4194304 4196468 140733971350352 139850089089264 139851013732994 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22576] ppid=22555 vsize=15684696 memory=47416 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22576/stat : 22576 (java) S 22555 22555 22498 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475436776 16061128704 104094 33554432000 4194304 4196468 140733971350352 139850088035552 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22578] ppid=22555 vsize=15684696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22578/stat : 22578 (java) S 22555 22555 22498 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475436776 16061128704 104094 33554432000 4194304 4196468 140733971350352 139850086982400 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22583] ppid=22555 vsize=15684696 memory=7088771780662946468 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22583/stat : 22583 (java) S 22555 22555 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475436779 16061128704 104094 33554432000 4194304 4196468 140733971350352 139850085930960 139851013740443 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22584] ppid=22555 vsize=15684696 memory=2004 CPUtime=2.83 cores=1,3,5,7
/proc/22561/task/22584/stat : 22584 (java) S 22555 22555 22498 0 -1 1077944384 11497 0 0 0 282 1 0 0 20 0 19 0 475436779 16061128704 104094 33554432000 4194304 4196468 140733971350352 139850084879088 139851013732994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22585] ppid=22555 vsize=15684696 memory=1428 CPUtime=2.55 cores=1,3,5,7
/proc/22561/task/22585/stat : 22585 (java) S 22555 22555 22498 0 -1 1077944384 11965 0 0 0 255 0 0 0 20 0 19 0 475436779 16061128704 104094 33554432000 4194304 4196468 140733971350352 139850083826544 139851013732994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22586] ppid=22555 vsize=15684696 memory=60 CPUtime=0.71 cores=1,3,5,7
/proc/22561/task/22586/stat : 22586 (java) S 22555 22555 22498 0 -1 1077944384 6733 0 0 0 70 1 0 0 20 0 19 0 475436779 16061128704 104094 33554432000 4194304 4196468 140733971350352 139850082773488 139851013732994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22588] ppid=22555 vsize=15684696 memory=34 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22588/stat : 22588 (java) S 22555 22555 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475436779 16061128704 104094 33554432000 4194304 4196468 140733971350352 139850081721184 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22590] ppid=22555 vsize=15684696 memory=6100 CPUtime=0.08 cores=1,3,5,7
/proc/22561/task/22590/stat : 22590 (java) S 22555 22555 22498 0 -1 1077944384 566 0 0 0 0 8 0 0 20 0 19 0 475436779 16061128704 104094 33554432000 4194304 4196468 140733971350352 139850080668208 139851013732994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22955] ppid=22555 vsize=15684696 memory=772 CPUtime=509.46 cores=1,3,5,7
/proc/22561/task/22955/stat : 22955 (java) R 22555 22555 22498 0 -1 4202560 1339 0 0 0 50946 0 0 0 20 0 19 0 475437658 16061128704 104094 33554432000 4194304 4196468 140733971350352 139850070399152 139850655528435 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22956] ppid=22555 vsize=15684696 memory=1764 CPUtime=509.38 cores=1,3,5,7
/proc/22561/task/22956/stat : 22956 (java) R 22555 22555 22498 0 -1 4202560 2421 0 0 0 50938 0 0 0 20 0 19 0 475437658 16061128704 104094 33554432000 4194304 4196468 140733971350352 139850065133648 139850655426136 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22957] ppid=22555 vsize=15684696 memory=111628 CPUtime=509.58 cores=1,3,5,7
/proc/22561/task/22957/stat : 22957 (java) R 22555 22555 22498 0 -1 4202560 2356 0 0 0 50958 0 0 0 20 0 19 0 475437658 16061128704 104094 33554432000 4194304 4196468 140733971350352 139850071449912 139850655428778 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22958] ppid=22555 vsize=15684696 memory=496 CPUtime=509.36 cores=1,3,5,7
/proc/22561/task/22958/stat : 22958 (java) R 22555 22555 22498 0 -1 4202560 1933 0 0 0 50936 0 0 0 20 0 19 0 475437659 16061128704 104094 33554432000 4194304 4196468 140733971350352 139850063027872 139850656585656 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
Current children cumulated CPU time: 2074.86 s
Current children cumulated vsize: 15797824 KiB
Current children cumulated memory: 417832 KiB
[startup+582.301 s]
/proc/loadavg: 8.24 7.38 4.47 10/237 23057
/proc/meminfo: memFree=5972992/32770624 swapFree=66993296/67108860
[pid=22555] ppid=22551 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (xcsp3-exec) S 22551 22555 22498 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475436773 115843072 364 33554432000 4194304 5098028 140735935550832 140735935548936 139664958411388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27103232 140735935558486 140735935558745 140735935558745 140735935561670 0
/proc/22555/statm: 28282 364 305 221 0 87 0
[pid=22561] ppid=22555 vsize=15684696 memory=447388 CPUtime=2313.28 cores=1,3,5,7
/proc/22561/stat : 22561 (java) S 22555 22555 22498 0 -1 1077944320 67805 0 1 0 231282 46 0 0 20 0 19 0 475436773 16061128704 111847 33554432000 4194304 4196468 140733971350352 140733971332896 139851013721847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
/proc/22561/statm: 3921174 111847 3520 1 0 3882274 0
[pid=22561/tid=22563] ppid=22555 vsize=15684696 memory=447380 CPUtime=0.6 cores=1,3,5,7
/proc/22561/task/22563/stat : 22563 (java) S 22555 22555 22498 0 -1 1077944384 9427 0 1 0 56 4 0 0 20 0 19 0 475436774 16061128704 111847 33554432000 4194304 4196468 140733971350352 139851017962624 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22565] ppid=22555 vsize=15684696 memory=447388 CPUtime=0.82 cores=1,3,5,7
/proc/22561/task/22565/stat : 22565 (java) S 22555 22555 22498 0 -1 1077944384 1924 0 0 0 75 7 0 0 20 0 19 0 475436774 16061128704 111847 33554432000 4194304 4196468 140733971350352 139850605587472 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22566] ppid=22555 vsize=15684696 memory=447388 CPUtime=0.81 cores=1,3,5,7
/proc/22561/task/22566/stat : 22566 (java) S 22555 22555 22498 0 -1 1077944384 3413 0 0 0 73 8 0 0 20 0 19 0 475436774 16061128704 111847 33554432000 4194304 4196468 140733971350352 139850604534928 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22567] ppid=22555 vsize=15684696 memory=1456 CPUtime=0.81 cores=1,3,5,7
/proc/22561/task/22567/stat : 22567 (java) S 22555 22555 22498 0 -1 1077944384 2866 0 0 0 74 7 0 0 20 0 19 0 475436774 16061128704 111847 33554432000 4194304 4196468 140733971350352 139850603481872 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22569] ppid=22555 vsize=15684696 memory=445332 CPUtime=0.8 cores=1,3,5,7
/proc/22561/task/22569/stat : 22569 (java) S 22555 22555 22498 0 -1 1077944384 2089 0 0 0 73 7 0 0 20 0 19 0 475436774 16061128704 111847 33554432000 4194304 4196468 140733971350352 139850602429328 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22573] ppid=22555 vsize=15684696 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/22561/task/22573/stat : 22573 (java) S 22555 22555 22498 0 -1 1077944384 3072 0 0 0 36 6 0 0 20 0 19 0 475436776 16061128704 111847 33554432000 4194304 4196468 140733971350352 139850089089264 139851013732994 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22576] ppid=22555 vsize=15684696 memory=432500 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22576/stat : 22576 (java) S 22555 22555 22498 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475436776 16061128704 111847 33554432000 4194304 4196468 140733971350352 139850088035552 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22578] ppid=22555 vsize=15684696 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22578/stat : 22578 (java) S 22555 22555 22498 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475436776 16061128704 111847 33554432000 4194304 4196468 140733971350352 139850086982400 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22583] ppid=22555 vsize=15684696 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22583/stat : 22583 (java) S 22555 22555 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475436779 16061128704 111847 33554432000 4194304 4196468 140733971350352 139850085930960 139851013740443 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22584] ppid=22555 vsize=15684696 memory=1456 CPUtime=2.83 cores=1,3,5,7
/proc/22561/task/22584/stat : 22584 (java) S 22555 22555 22498 0 -1 1077944384 11497 0 0 0 282 1 0 0 20 0 19 0 475436779 16061128704 111847 33554432000 4194304 4196468 140733971350352 139850084879088 139851013732994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22585] ppid=22555 vsize=15684696 memory=45396 CPUtime=2.55 cores=1,3,5,7
/proc/22561/task/22585/stat : 22585 (java) S 22555 22555 22498 0 -1 1077944384 11967 0 0 0 255 0 0 0 20 0 19 0 475436779 16061128704 111847 33554432000 4194304 4196468 140733971350352 139850083826544 139851013732994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22586] ppid=22555 vsize=15684696 memory=984 CPUtime=0.71 cores=1,3,5,7
/proc/22561/task/22586/stat : 22586 (java) S 22555 22555 22498 0 -1 1077944384 7056 0 0 0 70 1 0 0 20 0 19 0 475436779 16061128704 111847 33554432000 4194304 4196468 140733971350352 139850082773488 139851013732994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22588] ppid=22555 vsize=15684696 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22588/stat : 22588 (java) S 22555 22555 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475436779 16061128704 111847 33554432000 4194304 4196468 140733971350352 139850081721184 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22590] ppid=22555 vsize=15684696 memory=447388 CPUtime=0.09 cores=1,3,5,7
/proc/22561/task/22590/stat : 22590 (java) S 22555 22555 22498 0 -1 1077944384 585 0 0 0 0 9 0 0 20 0 19 0 475436779 16061128704 111847 33554432000 4194304 4196468 140733971350352 139850080668208 139851013732994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22955] ppid=22555 vsize=15684696 memory=1456 CPUtime=568.94 cores=1,3,5,7
/proc/22561/task/22955/stat : 22955 (java) R 22555 22555 22498 0 -1 4202560 1471 0 0 0 56894 0 0 0 20 0 19 0 475437658 16061128704 111847 33554432000 4194304 4196468 140733971350352 139850070396000 139850656655502 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22956] ppid=22555 vsize=15684696 memory=447388 CPUtime=568.84 cores=1,3,5,7
/proc/22561/task/22956/stat : 22956 (java) R 22555 22555 22498 0 -1 4202560 2649 0 0 0 56883 1 0 0 20 0 19 0 475437658 16061128704 111847 33554432000 4194304 4196468 140733971350352 139850065136640 139850656196857 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22957] ppid=22555 vsize=15684696 memory=14008 CPUtime=568.97 cores=1,3,5,7
/proc/22561/task/22957/stat : 22957 (java) R 22555 22555 22498 0 -1 4202560 2500 0 0 0 56897 0 0 0 20 0 19 0 475437658 16061128704 111847 33554432000 4194304 4196468 140733971350352 139850071449920 139850656195971 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22958] ppid=22555 vsize=15684696 memory=24020 CPUtime=568.69 cores=1,3,5,7
/proc/22561/task/22958/stat : 22958 (java) R 22555 22555 22498 0 -1 4202560 2039 0 0 0 56869 0 0 0 20 0 19 0 475437659 16061128704 111847 33554432000 4194304 4196468 140733971350352 139850063027976 139850655426369 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
Current children cumulated CPU time: 2313.28 s
Current children cumulated vsize: 15797824 KiB
Current children cumulated memory: 448844 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+604.201 s]
/proc/loadavg: 8.24 7.45 4.56 9/238 23061
/proc/meminfo: memFree=6029700/32770624 swapFree=66993296/67108860
[pid=22555] ppid=22551 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (xcsp3-exec) S 22551 22555 22498 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475436773 115843072 364 33554432000 4194304 5098028 140735935550832 140735935548936 139664958411388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27103232 140735935558486 140735935558745 140735935558745 140735935561670 0
/proc/22555/statm: 28282 364 305 221 0 87 0
[pid=22561] ppid=22555 vsize=15684696 memory=338236 CPUtime=2400.17 cores=1,3,5,7
/proc/22561/stat : 22561 (java) S 22555 22555 22498 0 -1 1077944320 72427 0 1 0 239967 50 0 0 20 0 19 0 475436773 16061128704 84559 33554432000 4194304 4196468 140733971350352 140733971332896 139851013721847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
/proc/22561/statm: 3921174 84559 3534 1 0 3882274 0
[pid=22561/tid=22563] ppid=22555 vsize=15684696 memory=1700 CPUtime=0.6 cores=1,3,5,7
/proc/22561/task/22563/stat : 22563 (java) S 22555 22555 22498 0 -1 1077944384 9427 0 1 0 56 4 0 0 20 0 19 0 475436774 16061128704 84559 33554432000 4194304 4196468 140733971350352 139851017962624 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22565] ppid=22555 vsize=15684696 memory=1736 CPUtime=0.92 cores=1,3,5,7
/proc/22561/task/22565/stat : 22565 (java) S 22555 22555 22498 0 -1 1077944384 2328 0 0 0 84 8 0 0 20 0 19 0 475436774 16061128704 84559 33554432000 4194304 4196468 140733971350352 139850605587472 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22566] ppid=22555 vsize=15684696 memory=2836 CPUtime=0.9 cores=1,3,5,7
/proc/22561/task/22566/stat : 22566 (java) S 22555 22555 22498 0 -1 1077944384 3474 0 0 0 82 8 0 0 20 0 19 0 475436774 16061128704 84559 33554432000 4194304 4196468 140733971350352 139850604534928 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22567] ppid=22555 vsize=15684696 memory=1540 CPUtime=0.91 cores=1,3,5,7
/proc/22561/task/22567/stat : 22567 (java) S 22555 22555 22498 0 -1 1077944384 3012 0 0 0 83 8 0 0 20 0 19 0 475436774 16061128704 84559 33554432000 4194304 4196468 140733971350352 139850603481872 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22569] ppid=22555 vsize=15684696 memory=1736 CPUtime=0.89 cores=1,3,5,7
/proc/22561/task/22569/stat : 22569 (java) S 22555 22555 22498 0 -1 1077944384 2270 0 0 0 82 7 0 0 20 0 19 0 475436774 16061128704 84559 33554432000 4194304 4196468 140733971350352 139850602429328 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22573] ppid=22555 vsize=15684696 memory=111628 CPUtime=0.46 cores=1,3,5,7
/proc/22561/task/22573/stat : 22573 (java) S 22555 22555 22498 0 -1 1077944384 6593 0 0 0 39 7 0 0 20 0 19 0 475436776 16061128704 84559 33554432000 4194304 4196468 140733971350352 139850089089264 139851013732994 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22576] ppid=22555 vsize=15684696 memory=804 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22576/stat : 22576 (java) S 22555 22555 22498 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475436776 16061128704 84559 33554432000 4194304 4196468 140733971350352 139850088035552 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22578] ppid=22555 vsize=15684696 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22578/stat : 22578 (java) S 22555 22555 22498 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475436776 16061128704 84559 33554432000 4194304 4196468 140733971350352 139850086982400 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22583] ppid=22555 vsize=15684696 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22583/stat : 22583 (java) S 22555 22555 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475436779 16061128704 84559 33554432000 4194304 4196468 140733971350352 139850085930960 139851013740443 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22584] ppid=22555 vsize=15684696 memory=920 CPUtime=2.83 cores=1,3,5,7
/proc/22561/task/22584/stat : 22584 (java) S 22555 22555 22498 0 -1 1077944384 11499 0 0 0 282 1 0 0 20 0 19 0 475436779 16061128704 84559 33554432000 4194304 4196468 140733971350352 139850084879088 139851013732994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22585] ppid=22555 vsize=15684696 memory=3816 CPUtime=2.55 cores=1,3,5,7
/proc/22561/task/22585/stat : 22585 (java) S 22555 22555 22498 0 -1 1077944384 11969 0 0 0 255 0 0 0 20 0 19 0 475436779 16061128704 84559 33554432000 4194304 4196468 140733971350352 139850083826544 139851013732994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22586] ppid=22555 vsize=15684696 memory=2304 CPUtime=0.71 cores=1,3,5,7
/proc/22561/task/22586/stat : 22586 (java) S 22555 22555 22498 0 -1 1077944384 7058 0 0 0 70 1 0 0 20 0 19 0 475436779 16061128704 84559 33554432000 4194304 4196468 140733971350352 139850082773488 139851013732994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22588] ppid=22555 vsize=15684696 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22561/task/22588/stat : 22588 (java) S 22555 22555 22498 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475436779 16061128704 84559 33554432000 4194304 4196468 140733971350352 139850081721184 139851013732053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22590] ppid=22555 vsize=15684696 memory=451452 CPUtime=0.1 cores=1,3,5,7
/proc/22561/task/22590/stat : 22590 (java) S 22555 22555 22498 0 -1 1077944384 587 0 0 0 0 10 0 0 20 0 19 0 475436779 16061128704 84559 33554432000 4194304 4196468 140733971350352 139850080668208 139851013732994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22955] ppid=22555 vsize=15684696 memory=45396 CPUtime=590.59 cores=1,3,5,7
/proc/22561/task/22955/stat : 22955 (java) R 22555 22555 22498 0 -1 4202560 1521 0 0 0 59059 0 0 0 20 0 19 0 475437658 16061128704 84559 33554432000 4194304 4196468 140733971350352 139850070399152 139850655426419 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22956] ppid=22555 vsize=15684696 memory=984 CPUtime=590.53 cores=1,3,5,7
/proc/22561/task/22956/stat : 22956 (java) R 22555 22555 22498 0 -1 4202560 2720 0 0 0 59052 1 0 0 20 0 19 0 475437658 16061128704 84559 33554432000 4194304 4196468 140733971350352 139850065133616 139850650827516 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22957] ppid=22555 vsize=15684696 memory=2004 CPUtime=590.56 cores=1,3,5,7
/proc/22561/task/22957/stat : 22957 (java) R 22555 22555 22498 0 -1 4202560 2591 0 0 0 59056 0 0 0 20 0 19 0 475437658 16061128704 84559 33554432000 4194304 4196468 140733971350352 139850071449664 139850655426311 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
[pid=22561/tid=22958] ppid=22555 vsize=15684696 memory=1428 CPUtime=590.23 cores=1,3,5,7
/proc/22561/task/22958/stat : 22958 (java) R 22555 22555 22498 0 -1 4202560 2128 0 0 0 59023 0 0 0 20 0 19 0 475437659 16061128704 84559 33554432000 4194304 4196468 140733971350352 139850063027880 139850655426201 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38445056 140733971354587 140733971354762 140733971354762 140733971357647 0
Current children cumulated CPU time: 2400.17 s
Current children cumulated vsize: 15797824 KiB
Current children cumulated memory: 339692 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+604.231 s]
# the end of solver process 22555 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002254 s, system=0 s
[startup+604.289 s]
# the end of solver process 22561 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.01 s, system=0.505097 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 604.289
CPU time (s): 2400.51
CPU user time (s): 2400.01
CPU system time (s): 0.505097
CPU usage (%): 397.245
Max. virtual memory (cumulated for all children) (KiB): 15797824
Max. memory (cumulated for all children) (KiB): 481748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.505097
maximum resident set size= 503300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73293
page faults= 1
swaps= 0
block input operations= 416
block output operations= 768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32206
involuntary context switches= 40260
# summary of solver processes directly reported to runsolver:
# pid: 22555,22561
# total CPU time (s): 2400.51
# total CPU user time (s): 2400.01
# total CPU system time (s): 0.505097
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.61365 second user time and 6.8267 second system time
The end