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 (5296 MiB free)
memory of node 1: 16384 MiB (14415 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393109-1568355718/watcher-4393109-1568355718 -o /tmp/evaluation-result-4393109-1568355718/solver-4393109-1568355718 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568354118-30105 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 308438432 HOME/instance-4393109-1568355718.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=2856, runsolver pid=2853
[startup+0.10278 s]*
/proc/loadavg: 4.50 5.39 5.09 3/234 2872
/proc/meminfo: memFree=20170836/32770624 swapFree=66957012/67108860
[pid=2856] ppid=2853 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2856/stat : 2856 (xcsp3-exec) S 2853 2856 30073 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411485663 115843072 362 33554432000 4194304 5098028 140730585490208 140730585488312 139775321408124 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37457920 140730585494395 140730585494637 140730585494637 140730585497546 0
/proc/2856/statm: 28282 362 304 221 0 87 0
[pid=2858] ppid=2856 vsize=15144768 memory=27616 CPUtime=0.13 cores=1,3,5,7
/proc/2858/stat : 2858 (java) S 2856 2856 30073 0 -1 1077944320 5920 0 0 0 12 1 0 0 20 0 15 0 411485663 15508242432 6904 33554432000 4194304 4196468 140727392604944 140727392587488 139914029362935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
/proc/2858/statm: 3786192 6904 3137 1 0 3748377 0
[pid=2858/tid=2859] ppid=2856 vsize=15144768 memory=-6664436420846796947 CPUtime=0.09 cores=1,3,5,7
/proc/2858/task/2859/stat : 2859 (java) R 2856 2856 30073 0 -1 4202560 3754 0 0 0 8 1 0 0 20 0 15 0 411485664 15508242432 6904 33554432000 4194304 4196468 140727392604944 139914033598112 139914007359800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2860] ppid=2856 vsize=15144768 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2860/stat : 2860 (java) S 2856 2856 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411485664 15508242432 6904 33554432000 4194304 4196468 140727392604944 139913996921744 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2861] ppid=2856 vsize=15144768 memory=140688052672128 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2861/stat : 2861 (java) S 2856 2856 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411485664 15508242432 6904 33554432000 4194304 4196468 140727392604944 139913620810512 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2862] ppid=2856 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2862/stat : 2862 (java) S 2856 2856 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411485664 15508242432 6904 33554432000 4194304 4196468 140727392604944 139913619758224 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2863] ppid=2856 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2863/stat : 2863 (java) S 2856 2856 30073 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411485664 15508242432 6904 33554432000 4194304 4196468 140727392604944 139913618705424 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2864] ppid=2856 vsize=15144768 memory=140688052672128 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2864/stat : 2864 (java) S 2856 2856 30073 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411485666 15508242432 6904 33554432000 4194304 4196468 140727392604944 139913497983088 139914029374082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2865] ppid=2856 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2865/stat : 2865 (java) S 2856 2856 30073 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411485666 15508242432 6904 33554432000 4194304 4196468 140727392604944 139913496929056 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2866] ppid=2856 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2866/stat : 2866 (java) S 2856 2856 30073 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411485666 15508242432 6904 33554432000 4194304 4196468 140727392604944 139913495876720 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2867] ppid=2856 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2867/stat : 2867 (java) S 2856 2856 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411485669 15508242432 6904 33554432000 4194304 4196468 140727392604944 139913494825040 139914029381531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2868] ppid=2856 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2868/stat : 2868 (java) R 2856 2856 30073 0 -1 4202560 433 0 0 0 0 0 0 0 20 0 15 0 411485669 15508242432 6904 33554432000 4194304 4196468 140727392604944 139913493772912 139914012831053 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2869] ppid=2856 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2869/stat : 2869 (java) R 2856 2856 30073 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 411485669 15508242432 6904 33554432000 4194304 4196468 140727392604944 139913492720112 139914029374082 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2870] ppid=2856 vsize=15144768 memory=140688052672128 CPUtime=0.02 cores=1,3,5,7
/proc/2858/task/2870/stat : 2870 (java) R 2856 2856 30073 0 -1 4202560 396 0 0 0 2 0 0 0 20 0 15 0 411485669 15508242432 6904 33554432000 4194304 4196468 140727392604944 139913491667824 139914008499061 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2871] ppid=2856 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2871/stat : 2871 (java) S 2856 2856 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411485669 15508242432 6904 33554432000 4194304 4196468 140727392604944 139913490615264 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2872] ppid=2856 vsize=15144768 memory=140688052672128 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2872/stat : 2872 (java) S 2856 2856 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411485669 15508242432 6904 33554432000 4194304 4196468 140727392604944 139913489562032 139914029374082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 29064 KiB
[startup+0.210931 s]*
/proc/loadavg: 4.50 5.39 5.09 4/234 2872
/proc/meminfo: memFree=20157572/32770624 swapFree=66957012/67108860
[pid=2856] ppid=2853 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2856/stat : 2856 (xcsp3-exec) S 2853 2856 30073 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411485663 115843072 362 33554432000 4194304 5098028 140730585490208 140730585488312 139775321408124 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37457920 140730585494395 140730585494637 140730585494637 140730585497546 0
/proc/2856/statm: 28282 362 304 221 0 87 0
[pid=2858] ppid=2856 vsize=15144768 memory=39824 CPUtime=0.34 cores=1,3,5,7
/proc/2858/stat : 2858 (java) S 2856 2856 30073 0 -1 1077944320 9694 0 0 0 31 3 0 0 20 0 15 0 411485663 15508242432 9956 33554432000 4194304 4196468 140727392604944 140727392587488 139914029362935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
/proc/2858/statm: 3786192 9956 3303 1 0 3748377 0
[pid=2858/tid=2859] ppid=2856 vsize=15144768 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/2858/task/2859/stat : 2859 (java) R 2856 2856 30073 0 -1 4202560 6706 0 0 0 18 2 0 0 20 0 15 0 411485664 15508242432 9956 33554432000 4194304 4196468 140727392604944 139914033599696 139914013443452 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2860] ppid=2856 vsize=15144768 memory=364 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2860/stat : 2860 (java) S 2856 2856 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411485664 15508242432 9956 33554432000 4194304 4196468 140727392604944 139913996921744 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2861] ppid=2856 vsize=15144768 memory=288371064204383872 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2861/stat : 2861 (java) S 2856 2856 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411485664 15508242432 9956 33554432000 4194304 4196468 140727392604944 139913620810512 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2862] ppid=2856 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2862/stat : 2862 (java) S 2856 2856 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411485664 15508242432 9956 33554432000 4194304 4196468 140727392604944 139913619758224 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2863] ppid=2856 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2863/stat : 2863 (java) S 2856 2856 30073 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411485664 15508242432 9956 33554432000 4194304 4196468 140727392604944 139913618705424 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2864] ppid=2856 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2864/stat : 2864 (java) S 2856 2856 30073 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411485666 15508242432 9956 33554432000 4194304 4196468 140727392604944 139913497983088 139914029374082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2865] ppid=2856 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2865/stat : 2865 (java) S 2856 2856 30073 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411485666 15508242432 9956 33554432000 4194304 4196468 140727392604944 139913496929056 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2866] ppid=2856 vsize=15144768 memory=140688052672128 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2866/stat : 2866 (java) S 2856 2856 30073 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411485666 15508242432 9956 33554432000 4194304 4196468 140727392604944 139913495876720 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2867] ppid=2856 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2867/stat : 2867 (java) S 2856 2856 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411485669 15508242432 9956 33554432000 4194304 4196468 140727392604944 139913494825040 139914029381531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2868] ppid=2856 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2858/task/2868/stat : 2868 (java) S 2856 2856 30073 0 -1 1077944384 555 0 0 0 2 0 0 0 20 0 15 0 411485669 15508242432 9956 33554432000 4194304 4196468 140727392604944 139913493772912 139914029374082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2869] ppid=2856 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/2858/task/2869/stat : 2869 (java) S 2856 2856 30073 0 -1 1077944384 254 0 0 0 2 0 0 0 20 0 15 0 411485669 15508242432 9956 33554432000 4194304 4196468 140727392604944 139913492720112 139914029374082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2870] ppid=2856 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2858/task/2870/stat : 2870 (java) S 2856 2856 30073 0 -1 1077944384 883 0 0 0 8 0 0 0 20 0 15 0 411485669 15508242432 9956 33554432000 4194304 4196468 140727392604944 139913491667824 139914029374082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2871] ppid=2856 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2871/stat : 2871 (java) S 2856 2856 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411485669 15508242432 9956 33554432000 4194304 4196468 140727392604944 139913490615264 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2872] ppid=2856 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2872/stat : 2872 (java) S 2856 2856 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411485669 15508242432 9956 33554432000 4194304 4196468 140727392604944 139913489562032 139914029374082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41272 KiB
[startup+0.310818 s]*
/proc/loadavg: 4.50 5.39 5.09 4/234 2872
/proc/meminfo: memFree=20151468/32770624 swapFree=66957012/67108860
[pid=2856] ppid=2853 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2856/stat : 2856 (xcsp3-exec) S 2853 2856 30073 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411485663 115843072 362 33554432000 4194304 5098028 140730585490208 140730585488312 139775321408124 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37457920 140730585494395 140730585494637 140730585494637 140730585497546 0
/proc/2856/statm: 28282 362 304 221 0 87 0
[pid=2858] ppid=2856 vsize=15149024 memory=49084 CPUtime=0.53 cores=1,3,5,7
/proc/2858/stat : 2858 (java) S 2856 2856 30073 0 -1 1077944320 11146 0 0 0 49 4 0 0 20 0 15 0 411485663 15512600576 12271 33554432000 4194304 4196468 140727392604944 140727392587488 139914029362935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
/proc/2858/statm: 3787256 12271 3357 1 0 3748377 0
[pid=2858/tid=2859] ppid=2856 vsize=15149024 memory=1398720917958146503 CPUtime=0.3 cores=1,3,5,7
/proc/2858/task/2859/stat : 2859 (java) R 2856 2856 30073 0 -1 4202560 7857 0 0 0 27 3 0 0 20 0 15 0 411485664 15512600576 12271 33554432000 4194304 4196468 140727392604944 139914033591568 139914013443422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2860] ppid=2856 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2860/stat : 2860 (java) S 2856 2856 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411485664 15512600576 12271 33554432000 4194304 4196468 140727392604944 139913996921744 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2861] ppid=2856 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2861/stat : 2861 (java) S 2856 2856 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411485664 15512600576 12271 33554432000 4194304 4196468 140727392604944 139913620810512 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2862] ppid=2856 vsize=15149024 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2862/stat : 2862 (java) S 2856 2856 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411485664 15512600576 12271 33554432000 4194304 4196468 140727392604944 139913619758224 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2863] ppid=2856 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2863/stat : 2863 (java) S 2856 2856 30073 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411485664 15512600576 12271 33554432000 4194304 4196468 140727392604944 139913618705424 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2864] ppid=2856 vsize=15149024 memory=-1598831813028945288 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2864/stat : 2864 (java) S 2856 2856 30073 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411485666 15512600576 12271 33554432000 4194304 4196468 140727392604944 139913497983088 139914029374082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2865] ppid=2856 vsize=15149024 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2865/stat : 2865 (java) S 2856 2856 30073 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411485666 15512600576 12271 33554432000 4194304 4196468 140727392604944 139913496929056 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2866] ppid=2856 vsize=15149024 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2866/stat : 2866 (java) S 2856 2856 30073 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411485666 15512600576 12271 33554432000 4194304 4196468 140727392604944 139913495876720 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2867] ppid=2856 vsize=15149024 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2867/stat : 2867 (java) S 2856 2856 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411485669 15512600576 12271 33554432000 4194304 4196468 140727392604944 139913494825040 139914029381531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2868] ppid=2856 vsize=15149024 memory=-6935123839545469842 CPUtime=0.04 cores=1,3,5,7
/proc/2858/task/2868/stat : 2868 (java) S 2856 2856 30073 0 -1 1077944384 592 0 0 0 4 0 0 0 20 0 15 0 411485669 15512600576 12271 33554432000 4194304 4196468 140727392604944 139913493772912 139914029374082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2869] ppid=2856 vsize=15149024 memory=4711416552243748964 CPUtime=0.04 cores=1,3,5,7
/proc/2858/task/2869/stat : 2869 (java) R 2856 2856 30073 0 -1 4202560 372 0 0 0 4 0 0 0 20 0 15 0 411485669 15512600576 12271 33554432000 4194304 4196468 140727392604944 139913492701128 139914010885855 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2870] ppid=2856 vsize=15149024 memory=7377292432179358372 CPUtime=0.12 cores=1,3,5,7
/proc/2858/task/2870/stat : 2870 (java) S 2856 2856 30073 0 -1 1077944384 1045 0 0 0 12 0 0 0 20 0 15 0 411485669 15512600576 12271 33554432000 4194304 4196468 140727392604944 139913491667824 139914029374082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2871] ppid=2856 vsize=15149024 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2871/stat : 2871 (java) S 2856 2856 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411485669 15512600576 12271 33554432000 4194304 4196468 140727392604944 139913490615264 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2872] ppid=2856 vsize=15149024 memory=7317634893576766894 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2872/stat : 2872 (java) S 2856 2856 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411485669 15512600576 12271 33554432000 4194304 4196468 140727392604944 139913489562032 139914029374082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50532 KiB
[startup+0.700829 s]
/proc/loadavg: 4.50 5.39 5.09 5/234 2872
/proc/meminfo: memFree=20139548/32770624 swapFree=66957012/67108860
[pid=2856] ppid=2853 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2856/stat : 2856 (xcsp3-exec) S 2853 2856 30073 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411485663 115843072 362 33554432000 4194304 5098028 140730585490208 140730585488312 139775321408124 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37457920 140730585494395 140730585494637 140730585494637 140730585497546 0
/proc/2856/statm: 28282 362 304 221 0 87 0
[pid=2858] ppid=2856 vsize=15151148 memory=92528 CPUtime=1.62 cores=1,3,5,7
/proc/2858/stat : 2858 (java) S 2856 2856 30073 0 -1 1077944320 14837 0 0 0 155 7 0 0 20 0 15 0 411485663 15514775552 23132 33554432000 4194304 4196468 140727392604944 140727392587488 139914029362935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
/proc/2858/statm: 3787787 23132 3462 1 0 3748889 0
[pid=2858/tid=2859] ppid=2856 vsize=15151148 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/2858/task/2859/stat : 2859 (java) R 2856 2856 30073 0 -1 4202560 9120 0 0 0 63 4 0 0 20 0 15 0 411485664 15514775552 23132 33554432000 4194304 4196468 140727392604944 139914033598432 139913668627783 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2860] ppid=2856 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2860/stat : 2860 (java) S 2856 2856 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411485664 15514775552 23644 33554432000 4194304 4196468 140727392604944 139913996921744 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2861] ppid=2856 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2861/stat : 2861 (java) S 2856 2856 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411485664 15514775552 23644 33554432000 4194304 4196468 140727392604944 139913620810512 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2862] ppid=2856 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2862/stat : 2862 (java) S 2856 2856 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411485664 15514775552 23644 33554432000 4194304 4196468 140727392604944 139913619758224 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2863] ppid=2856 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2863/stat : 2863 (java) S 2856 2856 30073 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411485664 15514775552 23644 33554432000 4194304 4196468 140727392604944 139913618705424 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2864] ppid=2856 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2864/stat : 2864 (java) S 2856 2856 30073 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 411485666 15514775552 23644 33554432000 4194304 4196468 140727392604944 139913497983088 139914029374082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2865] ppid=2856 vsize=15151148 memory=38952 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2865/stat : 2865 (java) S 2856 2856 30073 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411485666 15514775552 23644 33554432000 4194304 4196468 140727392604944 139913496929056 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2866] ppid=2856 vsize=15151148 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2866/stat : 2866 (java) S 2856 2856 30073 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411485666 15514775552 23644 33554432000 4194304 4196468 140727392604944 139913495876720 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2867] ppid=2856 vsize=15151148 memory=988 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2867/stat : 2867 (java) S 2856 2856 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411485669 15514775552 23644 33554432000 4194304 4196468 140727392604944 139913494825040 139914029381531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2868] ppid=2856 vsize=15151148 memory=1368 CPUtime=0.24 cores=1,3,5,7
/proc/2858/task/2868/stat : 2868 (java) R 2856 2856 30073 0 -1 4202560 1389 0 0 0 24 0 0 0 20 0 15 0 411485669 15514775552 23644 33554432000 4194304 4196468 140727392604944 139913493758936 139914010926744 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2869] ppid=2856 vsize=15151148 memory=1056 CPUtime=0.28 cores=1,3,5,7
/proc/2858/task/2869/stat : 2869 (java) R 2856 2856 30073 0 -1 4202560 1216 0 0 0 28 0 0 0 20 0 15 0 411485669 15514775552 23644 33554432000 4194304 4196468 140727392604944 139913492709904 139914010880686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2870] ppid=2856 vsize=15151148 memory=1712 CPUtime=0.38 cores=1,3,5,7
/proc/2858/task/2870/stat : 2870 (java) S 2856 2856 30073 0 -1 1077944384 1805 0 0 0 38 0 0 0 20 0 15 0 411485669 15514775552 23644 33554432000 4194304 4196468 140727392604944 139913491667824 139914029374082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2871] ppid=2856 vsize=15151148 memory=6092 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2871/stat : 2871 (java) S 2856 2856 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411485669 15514775552 23644 33554432000 4194304 4196468 140727392604944 139913490615264 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2872] ppid=2856 vsize=15151148 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2872/stat : 2872 (java) S 2856 2856 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411485669 15514775552 23644 33554432000 4194304 4196468 140727392604944 139913489562032 139914029374082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 93976 KiB
[startup+1.50192 s]
/proc/loadavg: 4.50 5.39 5.09 8/238 2876
/proc/meminfo: memFree=20055156/32770624 swapFree=66957012/67108860
[pid=2856] ppid=2853 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2856/stat : 2856 (xcsp3-exec) S 2853 2856 30073 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411485663 115843072 362 33554432000 4194304 5098028 140730585490208 140730585488312 139775321408124 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37457920 140730585494395 140730585494637 140730585494637 140730585497546 0
/proc/2856/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/2858/stat : 2858 (java) S 2856 2856 30073 0 -1 1077944320 73651 0 0 0 231166 63 0 0 20 0 19 0 411485663 15787421696 52589 33554432000 4194304 4196468 140727392604944 140727392587488 139914029362935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
/proc/2858/statm: 3854351 52589 3539 1 0 3815453 0
[pid=2858/tid=2859] ppid=2856 vsize=15417404 memory=210356 CPUtime=0.77 cores=1,3,5,7
/proc/2858/task/2859/stat : 2859 (java) S 2856 2856 30073 0 -1 1077944384 9188 0 0 0 72 5 0 0 20 0 19 0 411485664 15787421696 52589 33554432000 4194304 4196468 140727392604944 139914033603712 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2860] ppid=2856 vsize=15417404 memory=1448 CPUtime=0.82 cores=1,3,5,7
/proc/2858/task/2860/stat : 2860 (java) S 2856 2856 30073 0 -1 1077944384 2010 0 0 0 71 11 0 0 20 0 19 0 411485664 15787421696 52589 33554432000 4194304 4196468 140727392604944 139913996921744 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2861] ppid=2856 vsize=15417404 memory=210356 CPUtime=0.81 cores=1,3,5,7
/proc/2858/task/2861/stat : 2861 (java) S 2856 2856 30073 0 -1 1077944384 1721 0 0 0 70 11 0 0 20 0 19 0 411485664 15787421696 52589 33554432000 4194304 4196468 140727392604944 139913620810512 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2862] ppid=2856 vsize=15417404 memory=210356 CPUtime=0.82 cores=1,3,5,7
/proc/2858/task/2862/stat : 2862 (java) S 2856 2856 30073 0 -1 1077944384 2522 0 0 0 71 11 0 0 20 0 19 0 411485664 15787421696 52589 33554432000 4194304 4196468 140727392604944 139913619758224 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2863] ppid=2856 vsize=15417404 memory=210356 CPUtime=0.8 cores=1,3,5,7
/proc/2858/task/2863/stat : 2863 (java) S 2856 2856 30073 0 -1 1077944384 2320 0 0 0 69 11 0 0 20 0 19 0 411485664 15787421696 52589 33554432000 4194304 4196468 140727392604944 139913618705424 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2864] ppid=2856 vsize=15417404 memory=1448 CPUtime=0.6 cores=1,3,5,7
/proc/2858/task/2864/stat : 2864 (java) S 2856 2856 30073 0 -1 1077944384 3106 0 0 0 55 5 0 0 20 0 19 0 411485666 15787421696 52589 33554432000 4194304 4196468 140727392604944 139913497983088 139914029374082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2865] ppid=2856 vsize=15417404 memory=210356 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2865/stat : 2865 (java) S 2856 2856 30073 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 411485666 15787421696 52589 33554432000 4194304 4196468 140727392604944 139913496929120 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2866] ppid=2856 vsize=15417404 memory=210356 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2866/stat : 2866 (java) S 2856 2856 30073 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 19 0 411485666 15787421696 52589 33554432000 4194304 4196468 140727392604944 139913495876736 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2867] ppid=2856 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2867/stat : 2867 (java) S 2856 2856 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411485669 15787421696 52589 33554432000 4194304 4196468 140727392604944 139913494825040 139914029381531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2868] ppid=2856 vsize=15417404 memory=1448 CPUtime=2.34 cores=1,3,5,7
/proc/2858/task/2868/stat : 2868 (java) S 2856 2856 30073 0 -1 1077944384 18184 0 0 0 233 1 0 0 20 0 19 0 411485669 15787421696 52589 33554432000 4194304 4196468 140727392604944 139913493772912 139914029374082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2869] ppid=2856 vsize=15417404 memory=1448 CPUtime=2.34 cores=1,3,5,7
/proc/2858/task/2869/stat : 2869 (java) S 2856 2856 30073 0 -1 1077944384 12533 0 0 0 233 1 0 0 20 0 19 0 411485669 15787421696 52589 33554432000 4194304 4196468 140727392604944 139913492720112 139914029374082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2870] ppid=2856 vsize=15417404 memory=210356 CPUtime=0.68 cores=1,3,5,7
/proc/2858/task/2870/stat : 2870 (java) S 2856 2856 30073 0 -1 1077944384 8861 0 0 0 67 1 0 0 20 0 19 0 411485669 15787421696 52589 33554432000 4194304 4196468 140727392604944 139913491667824 139914029374082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2871] ppid=2856 vsize=15417404 memory=492 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2871/stat : 2871 (java) S 2856 2856 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411485669 15787421696 52589 33554432000 4194304 4196468 140727392604944 139913490615264 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2872] ppid=2856 vsize=15417404 memory=3512 CPUtime=0.63 cores=1,3,5,7
/proc/2858/task/2872/stat : 2872 (java) S 2856 2856 30073 0 -1 1077944384 955 0 0 0 63 0 0 0 20 0 19 0 411485669 15787421696 52589 33554432000 4194304 4196468 140727392604944 139913489562032 139914029374082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2873] ppid=2856 vsize=15417404 memory=38968 CPUtime=575.37 cores=1,3,5,7
/proc/2858/task/2873/stat : 2873 (java) R 2856 2856 30073 0 -1 4202560 1852 0 0 0 57535 2 0 0 20 0 19 0 411485743 15787421696 52589 33554432000 4194304 4196468 140727392604944 139913480350016 139913671384080 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2874] ppid=2856 vsize=15417404 memory=1448 CPUtime=575.41 cores=1,3,5,7
/proc/2858/task/2874/stat : 2874 (java) R 2856 2856 30073 0 -1 4202560 3827 0 0 0 57536 5 0 0 20 0 19 0 411485743 15787421696 52589 33554432000 4194304 4196468 140727392604944 139913479299016 139913672120095 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2875] ppid=2856 vsize=15417404 memory=1448 CPUtime=575.37 cores=1,3,5,7
/proc/2858/task/2875/stat : 2875 (java) R 2856 2856 30073 0 -1 4202560 1746 0 0 0 57533 4 0 0 20 0 19 0 411485743 15787421696 52589 33554432000 4194304 4196468 140727392604944 139913478248560 139913671123512 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2876] ppid=2856 vsize=15417404 memory=210356 CPUtime=575.39 cores=1,3,5,7
/proc/2858/task/2876/stat : 2876 (java) R 2856 2856 30073 0 -1 4202560 3431 0 0 0 57536 3 0 0 20 0 19 0 411485743 15787421696 52589 33554432000 4194304 4196468 140727392604944 139913477193408 139913670596254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
Current children cumulated CPU time: 2312.29 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 211804 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+634.701 s]
/proc/loadavg: 5.12 5.18 5.11 6/238 3046
/proc/meminfo: memFree=19851332/32770624 swapFree=66957012/67108860
[pid=2856] ppid=2853 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2856/stat : 2856 (xcsp3-exec) S 2853 2856 30073 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411485663 115843072 362 33554432000 4194304 5098028 140730585490208 140730585488312 139775321408124 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37457920 140730585494395 140730585494637 140730585494637 140730585497546 0
/proc/2856/statm: 28282 362 304 221 0 87 0
[pid=2858] ppid=2856 vsize=15417404 memory=214952 CPUtime=2520.33 cores=1,3,5,7
/proc/2858/stat : 2858 (java) S 2856 2856 30073 0 -1 1077944320 75826 0 0 0 251967 66 0 0 20 0 19 0 411485663 15787421696 53738 33554432000 4194304 4196468 140727392604944 140727392587488 139914029362935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
/proc/2858/statm: 3854351 53738 3539 1 0 3815453 0
[pid=2858/tid=2859] ppid=2856 vsize=15417404 memory=214952 CPUtime=0.77 cores=1,3,5,7
/proc/2858/task/2859/stat : 2859 (java) S 2856 2856 30073 0 -1 1077944384 9188 0 0 0 72 5 0 0 20 0 19 0 411485664 15787421696 53738 33554432000 4194304 4196468 140727392604944 139914033603712 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2860] ppid=2856 vsize=15417404 memory=214952 CPUtime=0.89 cores=1,3,5,7
/proc/2858/task/2860/stat : 2860 (java) S 2856 2856 30073 0 -1 1077944384 2016 0 0 0 78 11 0 0 20 0 19 0 411485664 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913996921744 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2861] ppid=2856 vsize=15417404 memory=1448 CPUtime=0.88 cores=1,3,5,7
/proc/2858/task/2861/stat : 2861 (java) S 2856 2856 30073 0 -1 1077944384 1729 0 0 0 77 11 0 0 20 0 19 0 411485664 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913620810512 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2862] ppid=2856 vsize=15417404 memory=214952 CPUtime=0.89 cores=1,3,5,7
/proc/2858/task/2862/stat : 2862 (java) S 2856 2856 30073 0 -1 1077944384 2541 0 0 0 78 11 0 0 20 0 19 0 411485664 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913619758224 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2863] ppid=2856 vsize=15417404 memory=214952 CPUtime=0.88 cores=1,3,5,7
/proc/2858/task/2863/stat : 2863 (java) S 2856 2856 30073 0 -1 1077944384 2328 0 0 0 77 11 0 0 20 0 19 0 411485664 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913618705424 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2864] ppid=2856 vsize=15417404 memory=1448 CPUtime=0.65 cores=1,3,5,7
/proc/2858/task/2864/stat : 2864 (java) S 2856 2856 30073 0 -1 1077944384 3109 0 0 0 60 5 0 0 20 0 19 0 411485666 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913497983088 139914029374082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2865] ppid=2856 vsize=15417404 memory=214952 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2865/stat : 2865 (java) S 2856 2856 30073 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 411485666 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913496929120 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2866] ppid=2856 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2866/stat : 2866 (java) S 2856 2856 30073 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 19 0 411485666 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913495876736 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2867] ppid=2856 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2867/stat : 2867 (java) S 2856 2856 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411485669 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913494825040 139914029381531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2868] ppid=2856 vsize=15417404 memory=1448 CPUtime=2.43 cores=1,3,5,7
/proc/2858/task/2868/stat : 2868 (java) S 2856 2856 30073 0 -1 1077944384 20115 0 0 0 242 1 0 0 20 0 19 0 411485669 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913493772912 139914029374082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2869] ppid=2856 vsize=15417404 memory=65 CPUtime=2.34 cores=1,3,5,7
/proc/2858/task/2869/stat : 2869 (java) S 2856 2856 30073 0 -1 1077944384 12533 0 0 0 233 1 0 0 20 0 19 0 411485669 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913492720112 139914029374082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2870] ppid=2856 vsize=15417404 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/2858/task/2870/stat : 2870 (java) S 2856 2856 30073 0 -1 1077944384 8861 0 0 0 67 1 0 0 20 0 19 0 411485669 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913491667824 139914029374082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2871] ppid=2856 vsize=15417404 memory=38968 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2871/stat : 2871 (java) S 2856 2856 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411485669 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913490615264 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2872] ppid=2856 vsize=15417404 memory=2020 CPUtime=0.7 cores=1,3,5,7
/proc/2858/task/2872/stat : 2872 (java) S 2856 2856 30073 0 -1 1077944384 957 0 0 0 70 0 0 0 20 0 19 0 411485669 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913489562032 139914029374082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2873] ppid=2856 vsize=15417404 memory=1448 CPUtime=627.16 cores=1,3,5,7
/proc/2858/task/2873/stat : 2873 (java) R 2856 2856 30073 0 -1 4202560 1922 0 0 0 62714 2 0 0 20 0 19 0 411485743 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913480350128 139913671383991 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2874] ppid=2856 vsize=15417404 memory=2600 CPUtime=627.35 cores=1,3,5,7
/proc/2858/task/2874/stat : 2874 (java) R 2856 2856 30073 0 -1 4202560 3866 0 0 0 62730 5 0 0 20 0 19 0 411485743 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913479299096 139913671124368 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2875] ppid=2856 vsize=15417404 memory=2704 CPUtime=627.12 cores=1,3,5,7
/proc/2858/task/2875/stat : 2875 (java) R 2856 2856 30073 0 -1 4202560 1788 0 0 0 62708 4 0 0 20 0 19 0 411485743 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913478248560 139913671123351 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2876] ppid=2856 vsize=15417404 memory=4104 CPUtime=627.44 cores=1,3,5,7
/proc/2858/task/2876/stat : 2876 (java) R 2856 2856 30073 0 -1 4202560 3478 0 0 0 62741 3 0 0 20 0 19 0 411485743 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913477193872 139913671382729 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
Current children cumulated CPU time: 2520.33 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 216400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+634.724 s]
# the end of solver process 2856 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001528 s, system=0.000764 s
[startup+634.783 s]
# the end of solver process 2858 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.98 s, system=0.667684 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+634.701 s]
/proc/loadavg: 5.12 5.18 5.11 6/238 3046
/proc/meminfo: memFree=19851332/32770624 swapFree=66957012/67108860
[pid=2856] ppid=2853 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2856/stat : 2856 (xcsp3-exec) S 2853 2856 30073 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411485663 115843072 362 33554432000 4194304 5098028 140730585490208 140730585488312 139775321408124 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37457920 140730585494395 140730585494637 140730585494637 140730585497546 0
/proc/2856/statm: 28282 362 304 221 0 87 0
[pid=2858] ppid=2856 vsize=15417404 memory=214952 CPUtime=2520.33 cores=1,3,5,7
/proc/2858/stat : 2858 (java) S 2856 2856 30073 0 -1 1077944320 75826 0 0 0 251967 66 0 0 20 0 19 0 411485663 15787421696 53738 33554432000 4194304 4196468 140727392604944 140727392587488 139914029362935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
/proc/2858/statm: 3854351 53738 3539 1 0 3815453 0
[pid=2858/tid=2859] ppid=2856 vsize=15417404 memory=214952 CPUtime=0.77 cores=1,3,5,7
/proc/2858/task/2859/stat : 2859 (java) S 2856 2856 30073 0 -1 1077944384 9188 0 0 0 72 5 0 0 20 0 19 0 411485664 15787421696 53738 33554432000 4194304 4196468 140727392604944 139914033603712 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2860] ppid=2856 vsize=15417404 memory=214952 CPUtime=0.89 cores=1,3,5,7
/proc/2858/task/2860/stat : 2860 (java) S 2856 2856 30073 0 -1 1077944384 2016 0 0 0 78 11 0 0 20 0 19 0 411485664 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913996921744 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2861] ppid=2856 vsize=15417404 memory=1448 CPUtime=0.88 cores=1,3,5,7
/proc/2858/task/2861/stat : 2861 (java) S 2856 2856 30073 0 -1 1077944384 1729 0 0 0 77 11 0 0 20 0 19 0 411485664 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913620810512 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2862] ppid=2856 vsize=15417404 memory=214952 CPUtime=0.89 cores=1,3,5,7
/proc/2858/task/2862/stat : 2862 (java) S 2856 2856 30073 0 -1 1077944384 2541 0 0 0 78 11 0 0 20 0 19 0 411485664 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913619758224 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2863] ppid=2856 vsize=15417404 memory=214952 CPUtime=0.88 cores=1,3,5,7
/proc/2858/task/2863/stat : 2863 (java) S 2856 2856 30073 0 -1 1077944384 2328 0 0 0 77 11 0 0 20 0 19 0 411485664 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913618705424 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2864] ppid=2856 vsize=15417404 memory=1448 CPUtime=0.65 cores=1,3,5,7
/proc/2858/task/2864/stat : 2864 (java) S 2856 2856 30073 0 -1 1077944384 3109 0 0 0 60 5 0 0 20 0 19 0 411485666 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913497983088 139914029374082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2865] ppid=2856 vsize=15417404 memory=214952 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2865/stat : 2865 (java) S 2856 2856 30073 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 411485666 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913496929120 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2866] ppid=2856 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2866/stat : 2866 (java) S 2856 2856 30073 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 19 0 411485666 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913495876736 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2867] ppid=2856 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2867/stat : 2867 (java) S 2856 2856 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411485669 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913494825040 139914029381531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2868] ppid=2856 vsize=15417404 memory=1448 CPUtime=2.43 cores=1,3,5,7
/proc/2858/task/2868/stat : 2868 (java) S 2856 2856 30073 0 -1 1077944384 20115 0 0 0 242 1 0 0 20 0 19 0 411485669 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913493772912 139914029374082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2869] ppid=2856 vsize=15417404 memory=65 CPUtime=2.34 cores=1,3,5,7
/proc/2858/task/2869/stat : 2869 (java) S 2856 2856 30073 0 -1 1077944384 12533 0 0 0 233 1 0 0 20 0 19 0 411485669 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913492720112 139914029374082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2870] ppid=2856 vsize=15417404 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/2858/task/2870/stat : 2870 (java) S 2856 2856 30073 0 -1 1077944384 8861 0 0 0 67 1 0 0 20 0 19 0 411485669 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913491667824 139914029374082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2871] ppid=2856 vsize=15417404 memory=38968 CPUtime=0 cores=1,3,5,7
/proc/2858/task/2871/stat : 2871 (java) S 2856 2856 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411485669 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913490615264 139914029373141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2872] ppid=2856 vsize=15417404 memory=2020 CPUtime=0.7 cores=1,3,5,7
/proc/2858/task/2872/stat : 2872 (java) S 2856 2856 30073 0 -1 1077944384 957 0 0 0 70 0 0 0 20 0 19 0 411485669 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913489562032 139914029374082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2873] ppid=2856 vsize=15417404 memory=1448 CPUtime=627.16 cores=1,3,5,7
/proc/2858/task/2873/stat : 2873 (java) R 2856 2856 30073 0 -1 4202560 1922 0 0 0 62714 2 0 0 20 0 19 0 411485743 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913480350128 139913671383991 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2874] ppid=2856 vsize=15417404 memory=2600 CPUtime=627.35 cores=1,3,5,7
/proc/2858/task/2874/stat : 2874 (java) R 2856 2856 30073 0 -1 4202560 3866 0 0 0 62730 5 0 0 20 0 19 0 411485743 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913479299096 139913671124368 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2875] ppid=2856 vsize=15417404 memory=2704 CPUtime=627.12 cores=1,3,5,7
/proc/2858/task/2875/stat : 2875 (java) R 2856 2856 30073 0 -1 4202560 1788 0 0 0 62708 4 0 0 20 0 19 0 411485743 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913478248560 139913671123351 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
[pid=2858/tid=2876] ppid=2856 vsize=15417404 memory=4104 CPUtime=627.44 cores=1,3,5,7
/proc/2858/task/2876/stat : 2876 (java) R 2856 2856 30073 0 -1 4202560 3478 0 0 0 62741 3 0 0 20 0 19 0 411485743 15787421696 53738 33554432000 4194304 4196468 140727392604944 139913477193872 139913671382729 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39059456 140727392609263 140727392609434 140727392609434 140727392612303 0
Current children cumulated CPU time: 2520.33 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 216400 KiB
Child status: 143
Real time (s): 634.783
CPU time (s): 2520.65
CPU user time (s): 2519.98
CPU system time (s): 0.667684
CPU usage (%): 397.088
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 399204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.98
system time used= 0.667684
maximum resident set size= 414120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76797
page faults= 0
swaps= 0
block input operations= 0
block output operations= 880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41777
involuntary context switches= 24868
# summary of solver processes directly reported to runsolver:
# pid: 2856,2858
# total CPU time (s): 2520.65
# total CPU user time (s): 2519.98
# total CPU system time (s): 0.667684
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.51067 second user time and 7.30348 second system time
The end