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 (15021 MiB free)
memory of node 1: 16384 MiB (15752 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270191-1502621196/watcher-4270191-1502621196 -o /tmp/evaluation-result-4270191-1502621196/solver-4270191-1502621196 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node106-1502620090-31366 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1435712956 HOME/instance-4270191-1502621196.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=31734, runsolver pid=31731
Current StackSize limit: 8192 KiB
[startup+0.10014 s]*
/proc/loadavg: 2.42 1.70 1.37 4/221 31750
/proc/meminfo: memFree=31496032/32770624 swapFree=67108860/67108860
[pid=31734] ppid=31731 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31734/stat : 31734 (xcsp3-exec) S 31731 31734 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95207442 9740288 346 33554432000 4194304 5098028 140732982261040 140732982259144 139929432195708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11943936 140732982264948 140732982265152 140732982265152 140732982267883 0
/proc/31734/statm: 2378 346 289 221 0 87 0
[pid=31736] ppid=31734 vsize=13978596 memory=26676 CPUtime=0.12 cores=1,3,5,7
/proc/31736/stat : 31736 (java) S 31734 31734 28385 0 -1 1077944320 5513 0 0 0 11 1 0 0 20 0 15 0 95207442 14314082304 6669 33554432000 4194304 4196468 140728509118320 140728509100864 139723502321399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
/proc/31736/statm: 3494649 6669 2884 1 0 3482966 0
[pid=31736/tid=31737] ppid=31734 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/31736/task/31737/stat : 31737 (java) R 31734 31734 28385 0 -1 4202560 3491 0 0 0 8 1 0 0 20 0 15 0 95207442 14314082304 6669 33554432000 4194304 4196468 140728509118320 139723506553648 139723502333334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31738] ppid=31734 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31738/stat : 31738 (java) S 31734 31734 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207443 14314082304 6669 33554432000 4194304 4196468 140728509118320 139723097873552 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31739] ppid=31734 vsize=13978596 memory=139860376630912 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31739/stat : 31739 (java) S 31734 31734 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207443 14314082304 6669 33554432000 4194304 4196468 140728509118320 139723096820752 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31740] ppid=31734 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31740/stat : 31740 (java) S 31734 31734 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207443 14314082304 6669 33554432000 4194304 4196468 140728509118320 139723095767952 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31741] ppid=31734 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31741/stat : 31741 (java) S 31734 31734 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207443 14314082304 6669 33554432000 4194304 4196468 140728509118320 139723094715152 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31742] ppid=31734 vsize=13978596 memory=139860376630912 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31742/stat : 31742 (java) S 31734 31734 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207444 14314082304 6669 33554432000 4194304 4196468 140728509118320 139722683222384 139723502332546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31743] ppid=31734 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31743/stat : 31743 (java) S 31734 31734 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95207445 14314082304 6669 33554432000 4194304 4196468 140728509118320 139722682168352 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31744] ppid=31734 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31744/stat : 31744 (java) S 31734 31734 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95207445 14314082304 6669 33554432000 4194304 4196468 140728509118320 139722681115504 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31745] ppid=31734 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31745/stat : 31745 (java) S 31734 31734 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207447 14314082304 6669 33554432000 4194304 4196468 140728509118320 139722680063824 139723502339995 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31746] ppid=31734 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31746/stat : 31746 (java) S 31734 31734 28385 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 95207447 14314082304 6669 33554432000 4194304 4196468 140728509118320 139722679012208 139723502332546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31747] ppid=31734 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31747/stat : 31747 (java) S 31734 31734 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207447 14314082304 6669 33554432000 4194304 4196468 140728509118320 139722677959408 139723502332546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31748] ppid=31734 vsize=13978596 memory=139860376630912 CPUtime=0.01 cores=1,3,5,7
/proc/31736/task/31748/stat : 31748 (java) R 31734 31734 28385 0 -1 4202560 299 0 0 0 1 0 0 0 20 0 15 0 95207448 14314082304 6669 33554432000 4194304 4196468 140728509118320 139722676906608 139723502333334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31749] ppid=31734 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31749/stat : 31749 (java) S 31734 31734 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207448 14314082304 6669 33554432000 4194304 4196468 140728509118320 139722675854048 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31750] ppid=31734 vsize=13978596 memory=139860376630912 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31750/stat : 31750 (java) S 31734 31734 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207448 14314082304 6669 33554432000 4194304 4196468 140728509118320 139722674801328 139723502332546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28060 KiB
[startup+0.210843 s]*
/proc/loadavg: 2.42 1.70 1.37 3/221 31750
/proc/meminfo: memFree=31483628/32770624 swapFree=67108860/67108860
[pid=31734] ppid=31731 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31734/stat : 31734 (xcsp3-exec) S 31731 31734 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95207442 9740288 346 33554432000 4194304 5098028 140732982261040 140732982259144 139929432195708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11943936 140732982264948 140732982265152 140732982265152 140732982267883 0
/proc/31734/statm: 2378 346 289 221 0 87 0
[pid=31736] ppid=31734 vsize=13982852 memory=39404 CPUtime=0.34 cores=1,3,5,7
/proc/31736/stat : 31736 (java) S 31734 31734 28385 0 -1 1077944320 8386 0 0 0 32 2 0 0 20 0 15 0 95207442 14318440448 9851 33554432000 4194304 4196468 140728509118320 140728509100864 139723502321399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
/proc/31736/statm: 3495713 9851 3057 1 0 3482966 0
[pid=31736/tid=31737] ppid=31734 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/31736/task/31737/stat : 31737 (java) R 31734 31734 28385 0 -1 4202560 5346 0 0 0 18 1 0 0 20 0 15 0 95207442 14318440448 9851 33554432000 4194304 4196468 140728509118320 139723506543424 139723486401886 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31738] ppid=31734 vsize=13982852 memory=13593 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31738/stat : 31738 (java) S 31734 31734 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207443 14318440448 9851 33554432000 4194304 4196468 140728509118320 139723097873552 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31739] ppid=31734 vsize=13982852 memory=139860376659581 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31739/stat : 31739 (java) S 31734 31734 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207443 14318440448 9851 33554432000 4194304 4196468 140728509118320 139723096820752 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31740] ppid=31734 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31740/stat : 31740 (java) S 31734 31734 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207443 14318440448 9851 33554432000 4194304 4196468 140728509118320 139723095767952 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31741] ppid=31734 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31741/stat : 31741 (java) S 31734 31734 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207443 14318440448 9851 33554432000 4194304 4196468 140728509118320 139723094715152 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31742] ppid=31734 vsize=13982852 memory=139860376630912 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31742/stat : 31742 (java) S 31734 31734 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207444 14318440448 9851 33554432000 4194304 4196468 140728509118320 139722683222384 139723502332546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31743] ppid=31734 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31743/stat : 31743 (java) S 31734 31734 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95207445 14318440448 9851 33554432000 4194304 4196468 140728509118320 139722682168352 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31744] ppid=31734 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31744/stat : 31744 (java) S 31734 31734 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95207445 14318440448 9851 33554432000 4194304 4196468 140728509118320 139722681115504 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31745] ppid=31734 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31745/stat : 31745 (java) S 31734 31734 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207447 14318440448 9851 33554432000 4194304 4196468 140728509118320 139722680063824 139723502339995 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31746] ppid=31734 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31736/task/31746/stat : 31746 (java) S 31734 31734 28385 0 -1 1077944384 696 0 0 0 2 0 0 0 20 0 15 0 95207447 14318440448 9851 33554432000 4194304 4196468 140728509118320 139722679012208 139723502332546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31747] ppid=31734 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31736/task/31747/stat : 31747 (java) S 31734 31734 28385 0 -1 1077944384 119 0 0 0 2 0 0 0 20 0 15 0 95207447 14318440448 9851 33554432000 4194304 4196468 140728509118320 139722677959408 139723502332546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31748] ppid=31734 vsize=13982852 memory=139860376630912 CPUtime=0.08 cores=1,3,5,7
/proc/31736/task/31748/stat : 31748 (java) R 31734 31734 28385 0 -1 4202560 926 0 0 0 8 0 0 0 20 0 15 0 95207448 14318440448 9851 33554432000 4194304 4196468 140728509118320 139722676906608 139723502333334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31749] ppid=31734 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31749/stat : 31749 (java) S 31734 31734 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207448 14318440448 9851 33554432000 4194304 4196468 140728509118320 139722675854048 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31750] ppid=31734 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31750/stat : 31750 (java) S 31734 31734 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207448 14318440448 9851 33554432000 4194304 4196468 140728509118320 139722674801328 139723502332546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 40788 KiB
[startup+0.320219 s]*
/proc/loadavg: 2.42 1.70 1.37 6/221 31750
/proc/meminfo: memFree=31476096/32770624 swapFree=67108860/67108860
[pid=31734] ppid=31731 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31734/stat : 31734 (xcsp3-exec) S 31731 31734 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95207442 9740288 346 33554432000 4194304 5098028 140732982261040 140732982259144 139929432195708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11943936 140732982264948 140732982265152 140732982265152 140732982267883 0
/proc/31734/statm: 2378 346 289 221 0 87 0
[pid=31736] ppid=31734 vsize=13982852 memory=47076 CPUtime=0.53 cores=1,3,5,7
/proc/31736/stat : 31736 (java) S 31734 31734 28385 0 -1 1077944320 9407 0 0 0 50 3 0 0 20 0 15 0 95207442 14318440448 11769 33554432000 4194304 4196468 140728509118320 140728509100864 139723502321399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
/proc/31736/statm: 3495713 11769 3120 1 0 3482966 0
[pid=31736/tid=31737] ppid=31734 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/31736/task/31737/stat : 31737 (java) R 31734 31734 28385 0 -1 4202560 6036 0 0 0 28 2 0 0 20 0 15 0 95207442 14318440448 11769 33554432000 4194304 4196468 140728509118320 139723506559576 139723502343325 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31738] ppid=31734 vsize=13982852 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31738/stat : 31738 (java) S 31734 31734 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207443 14318440448 11769 33554432000 4194304 4196468 140728509118320 139723097873552 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31739] ppid=31734 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31739/stat : 31739 (java) S 31734 31734 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207443 14318440448 11769 33554432000 4194304 4196468 140728509118320 139723096820752 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31740] ppid=31734 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31740/stat : 31740 (java) S 31734 31734 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207443 14318440448 11769 33554432000 4194304 4196468 140728509118320 139723095767952 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31741] ppid=31734 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31741/stat : 31741 (java) S 31734 31734 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207443 14318440448 11769 33554432000 4194304 4196468 140728509118320 139723094715152 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31742] ppid=31734 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31742/stat : 31742 (java) S 31734 31734 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207444 14318440448 11769 33554432000 4194304 4196468 140728509118320 139722683222384 139723502332546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31743] ppid=31734 vsize=13982852 memory=-9001728533042062950 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31743/stat : 31743 (java) S 31734 31734 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95207445 14318440448 11769 33554432000 4194304 4196468 140728509118320 139722682168352 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31744] ppid=31734 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31744/stat : 31744 (java) S 31734 31734 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95207445 14318440448 11769 33554432000 4194304 4196468 140728509118320 139722681115504 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31745] ppid=31734 vsize=13982852 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31745/stat : 31745 (java) S 31734 31734 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207447 14318440448 11769 33554432000 4194304 4196468 140728509118320 139722680063824 139723502339995 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31746] ppid=31734 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=1,3,5,7
/proc/31736/task/31746/stat : 31746 (java) R 31734 31734 28385 0 -1 1077944384 815 0 0 0 4 0 0 0 20 0 15 0 95207447 14318440448 11769 33554432000 4194304 4196468 140728509118320 139722679012208 139723502332546 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31747] ppid=31734 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/31736/task/31747/stat : 31747 (java) R 31734 31734 28385 0 -1 4202560 141 0 0 0 3 0 0 0 20 0 15 0 95207447 14318440448 11769 33554432000 4194304 4196468 140728509118320 139722677957808 139723483022223 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31748] ppid=31734 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/31736/task/31748/stat : 31748 (java) R 31734 31734 28385 0 -1 4202560 1113 0 0 0 13 0 0 0 20 0 15 0 95207448 14318440448 11769 33554432000 4194304 4196468 140728509118320 139722676906608 139723486401886 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31749] ppid=31734 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31749/stat : 31749 (java) S 31734 31734 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207448 14318440448 11769 33554432000 4194304 4196468 140728509118320 139722675854048 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31750] ppid=31734 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31750/stat : 31750 (java) S 31734 31734 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207448 14318440448 11769 33554432000 4194304 4196468 140728509118320 139722674801328 139723502332546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48460 KiB
[startup+0.701249 s]
/proc/loadavg: 2.42 1.70 1.37 5/221 31750
/proc/meminfo: memFree=31459036/32770624 swapFree=67108860/67108860
[pid=31734] ppid=31731 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31734/stat : 31734 (xcsp3-exec) S 31731 31734 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95207442 9740288 346 33554432000 4194304 5098028 140732982261040 140732982259144 139929432195708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11943936 140732982264948 140732982265152 140732982265152 140732982267883 0
/proc/31734/statm: 2378 346 289 221 0 87 0
[pid=31736] ppid=31734 vsize=13984976 memory=76068 CPUtime=1.47 cores=1,3,5,7
/proc/31736/stat : 31736 (java) S 31734 31734 28385 0 -1 1077944320 11650 0 0 0 143 4 0 0 20 0 15 0 95207442 14320615424 19017 33554432000 4194304 4196468 140728509118320 140728509100864 139723502321399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
/proc/31736/statm: 3496244 19017 3192 1 0 3483478 0
[pid=31736/tid=31737] ppid=31734 vsize=13984976 memory=3472328296227679313 CPUtime=0.66 cores=1,3,5,7
/proc/31736/task/31737/stat : 31737 (java) R 31734 31734 28385 0 -1 4202560 6616 0 0 0 64 2 0 0 20 0 15 0 95207442 14320615424 19017 33554432000 4194304 4196468 140728509118320 139723506558752 139723139395827 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31738] ppid=31734 vsize=13984976 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31738/stat : 31738 (java) S 31734 31734 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207443 14320615424 19017 33554432000 4194304 4196468 140728509118320 139723097873552 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31739] ppid=31734 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31739/stat : 31739 (java) S 31734 31734 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207443 14320615424 19017 33554432000 4194304 4196468 140728509118320 139723096820752 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31740] ppid=31734 vsize=13984976 memory=27344 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31740/stat : 31740 (java) S 31734 31734 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207443 14320615424 19017 33554432000 4194304 4196468 140728509118320 139723095767952 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31741] ppid=31734 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31741/stat : 31741 (java) S 31734 31734 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207443 14320615424 19017 33554432000 4194304 4196468 140728509118320 139723094715152 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31742] ppid=31734 vsize=13984976 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31742/stat : 31742 (java) S 31734 31734 28385 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95207444 14320615424 19017 33554432000 4194304 4196468 140728509118320 139722683222384 139723502332546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31743] ppid=31734 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31743/stat : 31743 (java) S 31734 31734 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95207445 14320615424 19017 33554432000 4194304 4196468 140728509118320 139722682168352 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31744] ppid=31734 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31744/stat : 31744 (java) S 31734 31734 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95207445 14320615424 19017 33554432000 4194304 4196468 140728509118320 139722681115504 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31745] ppid=31734 vsize=13984976 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31745/stat : 31745 (java) S 31734 31734 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207447 14320615424 19017 33554432000 4194304 4196468 140728509118320 139722680063824 139723502339995 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31746] ppid=31734 vsize=13984976 memory=1948 CPUtime=0.22 cores=1,3,5,7
/proc/31736/task/31746/stat : 31746 (java) R 31734 31734 28385 0 -1 4202560 1296 0 0 0 22 0 0 0 20 0 15 0 95207447 14320615424 19017 33554432000 4194304 4196468 140728509118320 139722678996160 139723488385619 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31747] ppid=31734 vsize=13984976 memory=8560 CPUtime=0.23 cores=1,3,5,7
/proc/31736/task/31747/stat : 31747 (java) R 31734 31734 28385 0 -1 4202560 746 0 0 0 23 0 0 0 20 0 15 0 95207447 14320615424 19017 33554432000 4194304 4196468 140728509118320 139722677940800 139723483073848 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31748] ppid=31734 vsize=13984976 memory=1228 CPUtime=0.33 cores=1,3,5,7
/proc/31736/task/31748/stat : 31748 (java) S 31734 31734 28385 0 -1 1077944384 1686 0 0 0 33 0 0 0 20 0 15 0 95207448 14320615424 19017 33554432000 4194304 4196468 140728509118320 139722676906608 139723502332546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31749] ppid=31734 vsize=13984976 memory=12028 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31749/stat : 31749 (java) S 31734 31734 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207448 14320615424 19017 33554432000 4194304 4196468 140728509118320 139722675854048 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31750] ppid=31734 vsize=13984976 memory=5668 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31750/stat : 31750 (java) S 31734 31734 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207448 14320615424 19017 33554432000 4194304 4196468 140728509118320 139722674801328 139723502332546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 77452 KiB
[startup+1.50082 s]
/proc/loadavg: 2.39 1.70 1.37 4/221 31750
/proc/meminfo: memFree=31421432/32770624 swapFree=67108860/67108860
[pid=31734] ppid=31731 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31734/stat : 31734 (xcsp3-exec) S 31731 31734 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95207442 9740288 346 33554432000 4194304 5098028 140732982261040 140732982259144 139929432195708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11943936 140732982264948 140732982265152 140732982265152 140732982267883 0
/proc/31734/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/31736/task/31744/stat : 31744 (java) S 31734 31734 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95207445 14320615424 35589 33554432000 4194304 4196468 140728509118320 139722681115504 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31745] ppid=31734 vsize=13984976 memory=33 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31745/stat : 31745 (java) S 31734 31734 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207447 14320615424 35589 33554432000 4194304 4196468 140728509118320 139722680063824 139723502339995 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31746] ppid=31734 vsize=13984976 memory=6944656592455097440 CPUtime=1.76 cores=1,3,5,7
/proc/31736/task/31746/stat : 31746 (java) S 31734 31734 28385 0 -1 1077944384 11334 0 0 0 175 1 0 0 20 0 15 0 95207447 14320615424 35589 33554432000 4194304 4196468 140728509118320 139722679012208 139723502332546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31747] ppid=31734 vsize=13984976 memory=1384 CPUtime=1.95 cores=1,3,5,7
/proc/31736/task/31747/stat : 31747 (java) S 31734 31734 28385 0 -1 1077944384 11370 0 0 0 194 1 0 0 20 0 15 0 95207447 14320615424 35589 33554432000 4194304 4196468 140728509118320 139722677959408 139723502332546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31748] ppid=31734 vsize=13984976 memory=1384 CPUtime=0.65 cores=1,3,5,7
/proc/31736/task/31748/stat : 31748 (java) S 31734 31734 28385 0 -1 1077944384 5874 0 0 0 64 1 0 0 20 0 15 0 95207448 14320615424 35589 33554432000 4194304 4196468 140728509118320 139722676906608 139723502332546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31749] ppid=31734 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31749/stat : 31749 (java) S 31734 31734 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207448 14320615424 35589 33554432000 4194304 4196468 140728509118320 139722675854048 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31750] ppid=31734 vsize=13984976 memory=1384 CPUtime=0.04 cores=1,3,5,7
/proc/31736/task/31750/stat : 31750 (java) S 31734 31734 28385 0 -1 1077944384 447 0 0 0 2 2 0 0 20 0 15 0 95207448 14320615424 35589 33554432000 4194304 4196468 140728509118320 139722674801328 139723502332546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
Current children cumulated CPU time: 106.69 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 143740 KiB
[startup+162.301 s]
/proc/loadavg: 1.87 1.76 1.44 3/218 31752
/proc/meminfo: memFree=31266184/32770624 swapFree=67108860/67108860
[pid=31734] ppid=31731 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31734/stat : 31734 (xcsp3-exec) S 31731 31734 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95207442 9740288 346 33554432000 4194304 5098028 140732982261040 140732982259144 139929432195708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11943936 140732982264948 140732982265152 140732982265152 140732982267883 0
/proc/31734/statm: 2378 346 289 221 0 87 0
[pid=31736] ppid=31734 vsize=13984976 memory=175136 CPUtime=166.75 cores=1,3,5,7
/proc/31736/stat : 31736 (java) S 31734 31734 28385 0 -1 1077944320 45486 0 0 0 16662 13 0 0 20 0 15 0 95207442 14320615424 43784 33554432000 4194304 4196468 140728509118320 140728509100864 139723502321399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
/proc/31736/statm: 3496244 43784 3236 1 0 3483478 0
[pid=31736/tid=31737] ppid=31734 vsize=13984976 memory=1384 CPUtime=162.24 cores=1,3,5,7
/proc/31736/task/31737/stat : 31737 (java) R 31734 31734 28385 0 -1 4202560 13225 0 0 0 16220 4 0 0 20 0 15 0 95207442 14320615424 43784 33554432000 4194304 4196468 140728509118320 139723506557992 139723144402427 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31738] ppid=31734 vsize=13984976 memory=166944 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31738/stat : 31738 (java) S 31734 31734 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207443 14320615424 43784 33554432000 4194304 4196468 140728509118320 139723097873552 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31739] ppid=31734 vsize=13984976 memory=162848 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31739/stat : 31739 (java) S 31734 31734 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207443 14320615424 43784 33554432000 4194304 4196468 140728509118320 139723096820752 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31740] ppid=31734 vsize=13984976 memory=168992 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31740/stat : 31740 (java) S 31734 31734 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207443 14320615424 43784 33554432000 4194304 4196468 140728509118320 139723095767952 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31741] ppid=31734 vsize=13984976 memory=168992 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31741/stat : 31741 (java) S 31734 31734 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207443 14320615424 43784 33554432000 4194304 4196468 140728509118320 139723094715152 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31742] ppid=31734 vsize=13984976 memory=173088 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31742/stat : 31742 (java) S 31734 31734 28385 0 -1 1077944384 508 0 0 0 0 0 0 0 20 0 15 0 95207444 14320615424 43784 33554432000 4194304 4196468 140728509118320 139722683222384 139723502332546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31743] ppid=31734 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31743/stat : 31743 (java) S 31734 31734 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95207445 14320615424 43784 33554432000 4194304 4196468 140728509118320 139722682168352 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31744] ppid=31734 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31744/stat : 31744 (java) S 31734 31734 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95207445 14320615424 43784 33554432000 4194304 4196468 140728509118320 139722681115504 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31745] ppid=31734 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31745/stat : 31745 (java) S 31734 31734 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207447 14320615424 43784 33554432000 4194304 4196468 140728509118320 139722680063824 139723502339995 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31746] ppid=31734 vsize=13984976 memory=1384 CPUtime=1.76 cores=1,3,5,7
/proc/31736/task/31746/stat : 31746 (java) S 31734 31734 28385 0 -1 1077944384 11796 0 0 0 175 1 0 0 20 0 15 0 95207447 14320615424 43784 33554432000 4194304 4196468 140728509118320 139722679012208 139723502332546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31747] ppid=31734 vsize=13984976 memory=2416 CPUtime=1.97 cores=1,3,5,7
/proc/31736/task/31747/stat : 31747 (java) S 31734 31734 28385 0 -1 1077944384 12291 0 0 0 196 1 0 0 20 0 15 0 95207447 14320615424 43784 33554432000 4194304 4196468 140728509118320 139722677959408 139723502332546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31748] ppid=31734 vsize=13984976 memory=1728 CPUtime=0.65 cores=1,3,5,7
/proc/31736/task/31748/stat : 31748 (java) S 31734 31734 28385 0 -1 1077944384 5882 0 0 0 64 1 0 0 20 0 15 0 95207448 14320615424 43784 33554432000 4194304 4196468 140728509118320 139722676906608 139723502332546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31749] ppid=31734 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31749/stat : 31749 (java) S 31734 31734 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207448 14320615424 43784 33554432000 4194304 4196468 140728509118320 139722675854048 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31750] ppid=31734 vsize=13984976 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/31736/task/31750/stat : 31750 (java) S 31734 31734 28385 0 -1 1077944384 484 0 0 0 3 4 0 0 20 0 15 0 95207448 14320615424 43784 33554432000 4194304 4196468 140728509118320 139722674801328 139723502332546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
Current children cumulated CPU time: 166.75 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 176520 KiB
[startup+222.301 s]
/proc/loadavg: 2.33 1.92 1.52 3/217 31753
/proc/meminfo: memFree=31239680/32770624 swapFree=67108860/67108860
[pid=31734] ppid=31731 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31734/stat : 31734 (xcsp3-exec) S 31731 31734 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95207442 9740288 346 33554432000 4194304 5098028 140732982261040 140732982259144 139929432195708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11943936 140732982264948 140732982265152 140732982265152 140732982267883 0
/proc/31734/statm: 2378 346 289 221 0 87 0
[pid=31736] ppid=31734 vsize=13984976 memory=201308 CPUtime=226.82 cores=1,3,5,7
/proc/31736/stat : 31736 (java) S 31734 31734 28385 0 -1 1077944320 49787 0 0 0 22666 16 0 0 20 0 15 0 95207442 14320615424 50327 33554432000 4194304 4196468 140728509118320 140728509100864 139723502321399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
/proc/31736/statm: 3496244 50327 3265 1 0 3483478 0
[pid=31736/tid=31737] ppid=31734 vsize=13984976 memory=201308 CPUtime=222.24 cores=1,3,5,7
/proc/31736/task/31737/stat : 31737 (java) R 31734 31734 28385 0 -1 4202560 13908 0 0 0 22219 5 0 0 20 0 15 0 95207442 14320615424 50327 33554432000 4194304 4196468 140728509118320 139723506552656 139723144402689 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31738] ppid=31734 vsize=13984976 memory=200056 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31738/stat : 31738 (java) S 31734 31734 28385 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 95207443 14320615424 50327 33554432000 4194304 4196468 140728509118320 139723097873552 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31739] ppid=31734 vsize=13984976 memory=200056 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31739/stat : 31739 (java) S 31734 31734 28385 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 95207443 14320615424 50327 33554432000 4194304 4196468 140728509118320 139723096820752 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31740] ppid=31734 vsize=13984976 memory=200056 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31740/stat : 31740 (java) S 31734 31734 28385 0 -1 1077944384 493 0 0 0 0 0 0 0 20 0 15 0 95207443 14320615424 50327 33554432000 4194304 4196468 140728509118320 139723095767952 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31741] ppid=31734 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31741/stat : 31741 (java) S 31734 31734 28385 0 -1 1077944384 377 0 0 0 0 0 0 0 20 0 15 0 95207443 14320615424 50327 33554432000 4194304 4196468 140728509118320 139723094715152 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31742] ppid=31734 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31742/stat : 31742 (java) S 31734 31734 28385 0 -1 1077944384 732 0 0 0 0 0 0 0 20 0 15 0 95207444 14320615424 50327 33554432000 4194304 4196468 140728509118320 139722683222384 139723502332546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31743] ppid=31734 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31743/stat : 31743 (java) S 31734 31734 28385 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 95207445 14320615424 50327 33554432000 4194304 4196468 140728509118320 139722682168352 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31744] ppid=31734 vsize=13984976 memory=200056 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31744/stat : 31744 (java) S 31734 31734 28385 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 95207445 14320615424 50327 33554432000 4194304 4196468 140728509118320 139722681115504 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31745] ppid=31734 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31745/stat : 31745 (java) S 31734 31734 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207447 14320615424 50327 33554432000 4194304 4196468 140728509118320 139722680063824 139723502339995 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31746] ppid=31734 vsize=13984976 memory=1384 CPUtime=1.77 cores=1,3,5,7
/proc/31736/task/31746/stat : 31746 (java) S 31734 31734 28385 0 -1 1077944384 12012 0 0 0 176 1 0 0 20 0 15 0 95207447 14320615424 50327 33554432000 4194304 4196468 140728509118320 139722679012208 139723502332546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31747] ppid=31734 vsize=13984976 memory=200056 CPUtime=1.98 cores=1,3,5,7
/proc/31736/task/31747/stat : 31747 (java) S 31734 31734 28385 0 -1 1077944384 12785 0 0 0 197 1 0 0 20 0 15 0 95207447 14320615424 50327 33554432000 4194304 4196468 140728509118320 139722677959408 139723502332546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31748] ppid=31734 vsize=13984976 memory=200056 CPUtime=0.66 cores=1,3,5,7
/proc/31736/task/31748/stat : 31748 (java) S 31734 31734 28385 0 -1 1077944384 7409 0 0 0 65 1 0 0 20 0 15 0 95207448 14320615424 50327 33554432000 4194304 4196468 140728509118320 139722676906608 139723502332546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31749] ppid=31734 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31749/stat : 31749 (java) S 31734 31734 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207448 14320615424 50327 33554432000 4194304 4196468 140728509118320 139722675854048 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31750] ppid=31734 vsize=13984976 memory=201308 CPUtime=0.09 cores=1,3,5,7
/proc/31736/task/31750/stat : 31750 (java) S 31734 31734 28385 0 -1 1077944384 532 0 0 0 4 5 0 0 20 0 15 0 95207448 14320615424 50327 33554432000 4194304 4196468 140728509118320 139722674801328 139723502332546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
Current children cumulated CPU time: 226.82 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 202692 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.27 1.93 1.53 3/217 31834
/proc/meminfo: memFree=31176920/32770624 swapFree=67108860/67108860
[pid=31734] ppid=31731 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31734/stat : 31734 (xcsp3-exec) S 31731 31734 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95207442 9740288 346 33554432000 4194304 5098028 140732982261040 140732982259144 139929432195708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11943936 140732982264948 140732982265152 140732982265152 140732982267883 0
/proc/31734/statm: 2378 346 289 221 0 87 0
[pid=31736] ppid=31734 vsize=13984976 memory=211432 CPUtime=244.54 cores=1,3,5,7
/proc/31736/stat : 31736 (java) S 31734 31734 28385 0 -1 1077944320 49792 0 0 0 24437 17 0 0 20 0 15 0 95207442 14320615424 52858 33554432000 4194304 4196468 140728509118320 140728509100864 139723502321399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
/proc/31736/statm: 3496244 52858 3265 1 0 3483478 0
[pid=31736/tid=31737] ppid=31734 vsize=13984976 memory=6791534058613427641 CPUtime=239.94 cores=1,3,5,7
/proc/31736/task/31737/stat : 31737 (java) R 31734 31734 28385 0 -1 4202560 13913 0 0 0 23989 5 0 0 20 0 15 0 95207442 14320615424 52858 33554432000 4194304 4196468 140728509118320 139723506552656 139723146100824 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31738] ppid=31734 vsize=13984976 memory=7525630861582094440 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31738/stat : 31738 (java) S 31734 31734 28385 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 95207443 14320615424 52858 33554432000 4194304 4196468 140728509118320 139723097873552 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31739] ppid=31734 vsize=13984976 memory=8100116899222808684 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31739/stat : 31739 (java) S 31734 31734 28385 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 95207443 14320615424 52858 33554432000 4194304 4196468 140728509118320 139723096820752 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31740] ppid=31734 vsize=13984976 memory=840 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31740/stat : 31740 (java) S 31734 31734 28385 0 -1 1077944384 493 0 0 0 0 0 0 0 20 0 15 0 95207443 14320615424 52858 33554432000 4194304 4196468 140728509118320 139723095767952 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31741] ppid=31734 vsize=13984976 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31741/stat : 31741 (java) S 31734 31734 28385 0 -1 1077944384 377 0 0 0 0 0 0 0 20 0 15 0 95207443 14320615424 52858 33554432000 4194304 4196468 140728509118320 139723094715152 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31742] ppid=31734 vsize=13984976 memory=916 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31742/stat : 31742 (java) S 31734 31734 28385 0 -1 1077944384 732 0 0 0 0 0 0 0 20 0 15 0 95207444 14320615424 52858 33554432000 4194304 4196468 140728509118320 139722683222384 139723502332546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31743] ppid=31734 vsize=13984976 memory=3832 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31743/stat : 31743 (java) S 31734 31734 28385 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 95207445 14320615424 52858 33554432000 4194304 4196468 140728509118320 139722682168352 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31744] ppid=31734 vsize=13984976 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31744/stat : 31744 (java) S 31734 31734 28385 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 95207445 14320615424 52858 33554432000 4194304 4196468 140728509118320 139722681115504 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31745] ppid=31734 vsize=13984976 memory=2540 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31745/stat : 31745 (java) S 31734 31734 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207447 14320615424 52858 33554432000 4194304 4196468 140728509118320 139722680063824 139723502339995 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31746] ppid=31734 vsize=13984976 memory=2540 CPUtime=1.77 cores=1,3,5,7
/proc/31736/task/31746/stat : 31746 (java) S 31734 31734 28385 0 -1 1077944384 12012 0 0 0 176 1 0 0 20 0 15 0 95207447 14320615424 52858 33554432000 4194304 4196468 140728509118320 139722679012208 139723502332546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31747] ppid=31734 vsize=13984976 memory=1160 CPUtime=1.98 cores=1,3,5,7
/proc/31736/task/31747/stat : 31747 (java) S 31734 31734 28385 0 -1 1077944384 12785 0 0 0 197 1 0 0 20 0 15 0 95207447 14320615424 52858 33554432000 4194304 4196468 140728509118320 139722677959408 139723502332546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31748] ppid=31734 vsize=13984976 memory=3120 CPUtime=0.66 cores=1,3,5,7
/proc/31736/task/31748/stat : 31748 (java) S 31734 31734 28385 0 -1 1077944384 7409 0 0 0 65 1 0 0 20 0 15 0 95207448 14320615424 52858 33554432000 4194304 4196468 140728509118320 139722676906608 139723502332546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31749] ppid=31734 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31736/task/31749/stat : 31749 (java) S 31734 31734 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207448 14320615424 52858 33554432000 4194304 4196468 140728509118320 139722675854048 139723502331605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
[pid=31736/tid=31750] ppid=31734 vsize=13984976 memory=211432 CPUtime=0.1 cores=1,3,5,7
/proc/31736/task/31750/stat : 31750 (java) S 31734 31734 28385 0 -1 1077944384 532 0 0 0 4 6 0 0 20 0 15 0 95207448 14320615424 52858 33554432000 4194304 4196468 140728509118320 139722674801328 139723502332546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 16199680 140728509121693 140728509121868 140728509121868 140728509124559 0
Current children cumulated CPU time: 244.54 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 212816 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 31734 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001828 s
[startup+240.021 s]
# the end of solver process 31736 was just reported to runsolver
# cumulated CPU time of all completed processes: user=244.389 s, system=0.177925 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): 240.021
CPU time (s): 244.567
CPU user time (s): 244.389
CPU system time (s): 0.177925
CPU usage (%): 101.894
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 212816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.389
system time used= 0.177925
maximum resident set size= 211840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50738
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8449
involuntary context switches= 144
# summary of solver processes directly reported to runsolver:
# pid: 31734,31736
# total CPU time (s): 244.567
# total CPU user time (s): 244.389
# total CPU system time (s): 0.177925
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.58143 second user time and 2.20238 second system time
The end