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 (14313 MiB free)
memory of node 1: 16384 MiB (15560 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386994-1568286799/watcher-4386994-1568286799 -o /tmp/evaluation-result-4386994-1568286799/solver-4386994-1568286799 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568285927-6017 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=18661894 HOME/instance-4386994-1568286799.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=6473, runsolver pid=6470
[startup+0.100133 s]*
/proc/loadavg: 1.71 1.49 1.62 3/220 6530
/proc/meminfo: memFree=30582400/32770624 swapFree=66916036/67108860
[pid=6473] ppid=6470 vsize=9972712 memory=17344 CPUtime=0.08 cores=1,3,5,7
/proc/6473/stat : 6473 (java) S 6470 6473 5064 0 -1 1077944320 4558 13004 0 0 1 0 5 2 20 0 6 0 404617789 10212057088 4336 33554432000 4194304 4196468 140734840475072 140734840457616 140424129154807 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
/proc/6473/statm: 2493178 4336 1958 1 0 2481616 0
[pid=6473/tid=6526] ppid=6470 vsize=9989820 memory=7892391828772250251 CPUtime=0.08 cores=1,3,5,7
/proc/6473/task/6526/stat : 6526 (java) S 6470 6473 5064 0 -1 1077944384 2410 13004 0 0 1 0 5 2 20 0 7 0 404617798 10229575680 4402 33554432000 4194304 4196468 140734840475072 140424100997760 140424129165013 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6527] ppid=6470 vsize=9989820 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6527/stat : 6527 (java) S 6470 6473 5064 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 7 0 404617799 10229575680 4402 33554432000 4194304 4196468 140734840475072 140424133397520 140424129165013 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6528] ppid=6470 vsize=10055356 memory=140079181825664 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6528/stat : 6528 (java) S 6470 6473 5064 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 7 0 404617799 10296684544 4402 33554432000 4194304 4196468 140734840475072 140424032287888 140424129165013 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6529] ppid=6470 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6529/stat : 6529 (java) S 6470 6473 5064 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 7 0 404617799 10296684544 4402 33554432000 4194304 4196468 140734840475072 140424031234832 140424129165013 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6530] ppid=6470 vsize=10055356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6530/stat : 6530 (java) S 6470 6473 5064 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 7 0 404617799 10296684544 4402 33554432000 4194304 4196468 140734840475072 140424030182288 140424129165013 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6531] ppid=6470 vsize=10055356 memory=140079181825664 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6531/stat : 6531 (java) S 6470 6473 5064 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 7 0 404617800 10296684544 4402 33554432000 4194304 4196468 140734840475072 140423588509936 140424129165954 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17344 KiB
[startup+0.210166 s]*
/proc/loadavg: 1.71 1.49 1.62 3/229 6539
/proc/meminfo: memFree=30565152/32770624 swapFree=66916036/67108860
[pid=6473] ppid=6470 vsize=10818940 memory=37956 CPUtime=0.25 cores=1,3,5,7
/proc/6473/stat : 6473 (java) S 6470 6473 5064 0 -1 1077944320 7059 13004 0 0 17 1 5 2 20 0 15 0 404617789 11078594560 9489 33554432000 4194304 4196468 140734840475072 140734840457616 140424129154807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
/proc/6473/statm: 2704735 9489 2966 1 0 2667149 0
[pid=6473/tid=6526] ppid=6470 vsize=10818940 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/6473/task/6526/stat : 6526 (java) R 6470 6473 5064 0 -1 4202560 3573 13004 0 0 11 0 5 2 20 0 15 0 404617798 11078594560 9489 33554432000 4194304 4196468 140734840475072 140424100985856 140424129176733 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6527] ppid=6470 vsize=10818940 memory=343 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6527/stat : 6527 (java) S 6470 6473 5064 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 404617799 11078594560 9489 33554432000 4194304 4196468 140734840475072 140424133397520 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6528] ppid=6470 vsize=10818940 memory=140079181834745 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6528/stat : 6528 (java) S 6470 6473 5064 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 404617799 11078594560 9489 33554432000 4194304 4196468 140734840475072 140424032287888 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6529] ppid=6470 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6529/stat : 6529 (java) S 6470 6473 5064 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 404617799 11078594560 9489 33554432000 4194304 4196468 140734840475072 140424031234832 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6530] ppid=6470 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6530/stat : 6530 (java) S 6470 6473 5064 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 15 0 404617799 11078594560 9489 33554432000 4194304 4196468 140734840475072 140424030182288 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6531] ppid=6470 vsize=10818940 memory=140079181825664 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6531/stat : 6531 (java) S 6470 6473 5064 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 15 0 404617800 11078594560 9489 33554432000 4194304 4196468 140734840475072 140423588509936 140424129165954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6532] ppid=6470 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6532/stat : 6532 (java) S 6470 6473 5064 0 -1 1077944384 33 13004 0 0 0 0 5 2 20 0 15 0 404617800 11078594560 9489 33554432000 4194304 4196468 140734840475072 140423587456160 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6533] ppid=6470 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6533/stat : 6533 (java) S 6470 6473 5064 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 404617801 11078594560 9489 33554432000 4194304 4196468 140734840475072 140423016211184 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6534] ppid=6470 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6534/stat : 6534 (java) S 6470 6473 5064 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 404617803 11078594560 9489 33554432000 4194304 4196468 140734840475072 140422708811728 140424129173403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6535] ppid=6470 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6473/task/6535/stat : 6535 (java) S 6470 6473 5064 0 -1 1077944384 564 13004 0 0 1 0 5 2 20 0 15 0 404617803 11078594560 9489 33554432000 4194304 4196468 140734840475072 140423231171312 140424129165954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6536] ppid=6470 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6536/stat : 6536 (java) S 6470 6473 5064 0 -1 1077944384 59 13004 0 0 0 0 5 2 20 0 15 0 404617803 11078594560 9489 33554432000 4194304 4196468 140734840475072 140423230118768 140424129165954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6537] ppid=6470 vsize=10818940 memory=140079181825664 CPUtime=0.1 cores=1,3,5,7
/proc/6473/task/6537/stat : 6537 (java) R 6470 6473 5064 0 -1 4202560 618 13004 0 0 3 0 5 2 20 0 15 0 404617803 11078594560 9489 33554432000 4194304 4196468 140734840475072 140423229065712 140424107788671 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6538] ppid=6470 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6538/stat : 6538 (java) S 6470 6473 5064 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 404617804 11078594560 9489 33554432000 4194304 4196468 140734840475072 140422675254112 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6539] ppid=6470 vsize=10818940 memory=140079181825664 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6539/stat : 6539 (java) S 6470 6473 5064 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 404617804 11078594560 9489 33554432000 4194304 4196468 140734840475072 140423228013104 140424129165954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 37956 KiB
[startup+0.320722 s]*
/proc/loadavg: 1.71 1.49 1.62 4/229 6539
/proc/meminfo: memFree=30552220/32770624 swapFree=66916036/67108860
[pid=6473] ppid=6470 vsize=10820244 memory=49320 CPUtime=0.41 cores=1,3,5,7
/proc/6473/stat : 6473 (java) S 6470 6473 5064 0 -1 1077944320 10836 13004 0 0 31 3 5 2 20 0 15 0 404617789 11079929856 12330 33554432000 4194304 4196468 140734840475072 140734840457616 140424129154807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
/proc/6473/statm: 2705061 12330 3285 1 0 2667149 0
[pid=6473/tid=6526] ppid=6470 vsize=10820244 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/6473/task/6526/stat : 6526 (java) R 6470 6473 5064 0 -1 4202560 7319 13004 0 0 20 2 5 2 20 0 15 0 404617798 11079929856 12330 33554432000 4194304 4196468 140734840475072 140424100974704 140424129176733 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6527] ppid=6470 vsize=10820244 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6527/stat : 6527 (java) S 6470 6473 5064 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 404617799 11079929856 12330 33554432000 4194304 4196468 140734840475072 140424133397520 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6528] ppid=6470 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6528/stat : 6528 (java) S 6470 6473 5064 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 404617799 11079929856 12330 33554432000 4194304 4196468 140734840475072 140424032287888 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6529] ppid=6470 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6529/stat : 6529 (java) S 6470 6473 5064 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 404617799 11079929856 12330 33554432000 4194304 4196468 140734840475072 140424031234832 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6530] ppid=6470 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6530/stat : 6530 (java) S 6470 6473 5064 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 15 0 404617799 11079929856 12330 33554432000 4194304 4196468 140734840475072 140424030182288 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6531] ppid=6470 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6531/stat : 6531 (java) S 6470 6473 5064 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 15 0 404617800 11079929856 12330 33554432000 4194304 4196468 140734840475072 140423588509936 140424129165954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6532] ppid=6470 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6532/stat : 6532 (java) S 6470 6473 5064 0 -1 1077944384 33 13004 0 0 0 0 5 2 20 0 15 0 404617800 11079929856 12330 33554432000 4194304 4196468 140734840475072 140423587456160 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6533] ppid=6470 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6533/stat : 6533 (java) S 6470 6473 5064 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 404617801 11079929856 12330 33554432000 4194304 4196468 140734840475072 140423016211184 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6534] ppid=6470 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6534/stat : 6534 (java) S 6470 6473 5064 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 404617803 11079929856 12330 33554432000 4194304 4196468 140734840475072 140422708811728 140424129173403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6535] ppid=6470 vsize=10820244 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6473/task/6535/stat : 6535 (java) S 6470 6473 5064 0 -1 1077944384 575 13004 0 0 2 0 5 2 20 0 15 0 404617803 11079929856 12330 33554432000 4194304 4196468 140734840475072 140423231171312 140424129165954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6536] ppid=6470 vsize=10820244 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6473/task/6536/stat : 6536 (java) R 6470 6473 5064 0 -1 1077944384 59 13004 0 0 1 0 5 2 20 0 15 0 404617803 11079929856 12330 33554432000 4194304 4196468 140734840475072 140423230118768 140424129165954 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6537] ppid=6470 vsize=10820244 memory=140079181825664 CPUtime=0.12 cores=1,3,5,7
/proc/6473/task/6537/stat : 6537 (java) S 6470 6473 5064 0 -1 1077944384 630 13004 0 0 5 0 5 2 20 0 15 0 404617803 11079929856 12330 33554432000 4194304 4196468 140734840475072 140423229065712 140424129165954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6538] ppid=6470 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6538/stat : 6538 (java) S 6470 6473 5064 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 404617804 11079929856 12330 33554432000 4194304 4196468 140734840475072 140422675254112 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6539] ppid=6470 vsize=10820244 memory=140079181825664 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6539/stat : 6539 (java) S 6470 6473 5064 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 404617804 11079929856 12330 33554432000 4194304 4196468 140734840475072 140423228013104 140424129165954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820244 KiB
Current children cumulated memory: 49320 KiB
[startup+0.700733 s]
/proc/loadavg: 1.71 1.49 1.62 5/229 6539
/proc/meminfo: memFree=30539428/32770624 swapFree=66916036/67108860
[pid=6473] ppid=6470 vsize=10824340 memory=79564 CPUtime=1.14 cores=1,3,5,7
/proc/6473/stat : 6473 (java) S 6470 6473 5064 0 -1 1077944320 14871 13004 0 0 103 4 5 2 20 0 15 0 404617789 11084124160 19891 33554432000 4194304 4196468 140734840475072 140734840457616 140424129154807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
/proc/6473/statm: 2706085 19891 3498 1 0 2668173 0
[pid=6473/tid=6526] ppid=6470 vsize=10825364 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/6473/task/6526/stat : 6526 (java) R 6470 6473 5064 0 -1 4202560 10552 13004 0 0 56 3 5 2 20 0 15 0 404617798 11085172736 19891 33554432000 4194304 4196468 140734840475072 140424100972768 140424121834525 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6527] ppid=6470 vsize=10825364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6527/stat : 6527 (java) S 6470 6473 5064 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 404617799 11085172736 19956 33554432000 4194304 4196468 140734840475072 140424133397520 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6528] ppid=6470 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6528/stat : 6528 (java) S 6470 6473 5064 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 404617799 11084124160 19928 33554432000 4194304 4196468 140734840475072 140424032287888 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6529] ppid=6470 vsize=10824340 memory=140079083438608 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6529/stat : 6529 (java) S 6470 6473 5064 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 404617799 11084124160 19928 33554432000 4194304 4196468 140734840475072 140424031234832 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6530] ppid=6470 vsize=10824340 memory=140080358359642 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6530/stat : 6530 (java) S 6470 6473 5064 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 15 0 404617799 11084124160 19928 33554432000 4194304 4196468 140734840475072 140424030182288 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6531] ppid=6470 vsize=10824340 memory=14008 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6531/stat : 6531 (java) S 6470 6473 5064 0 -1 1077944384 5 13004 0 0 0 0 5 2 20 0 15 0 404617800 11084124160 19928 33554432000 4194304 4196468 140734840475072 140423588509936 140424129165954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6532] ppid=6470 vsize=10825364 memory=6297835844906604903 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6532/stat : 6532 (java) S 6470 6473 5064 0 -1 1077944384 33 13004 0 0 0 0 5 2 20 0 15 0 404617800 11085172736 19928 33554432000 4194304 4196468 140734840475072 140423587456160 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6533] ppid=6470 vsize=10825364 memory=2116 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6533/stat : 6533 (java) S 6470 6473 5064 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 404617801 11085172736 19928 33554432000 4194304 4196468 140734840475072 140423016211184 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6534] ppid=6470 vsize=10825364 memory=6600 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6534/stat : 6534 (java) S 6470 6473 5064 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 404617803 11085172736 19928 33554432000 4194304 4196468 140734840475072 140422708811728 140424129173403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6535] ppid=6470 vsize=10825364 memory=528 CPUtime=0.24 cores=1,3,5,7
/proc/6473/task/6535/stat : 6535 (java) S 6470 6473 5064 0 -1 1077944384 943 13004 0 0 17 0 5 2 20 0 15 0 404617803 11085172736 19928 33554432000 4194304 4196468 140734840475072 140423231171312 140424129165954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6536] ppid=6470 vsize=10824340 memory=1560 CPUtime=0.17 cores=1,3,5,7
/proc/6473/task/6536/stat : 6536 (java) S 6470 6473 5064 0 -1 1077944384 311 13004 0 0 10 0 5 2 20 0 15 0 404617803 11084124160 19928 33554432000 4194304 4196468 140734840475072 140423230118768 140424129165954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6537] ppid=6470 vsize=10824340 memory=932 CPUtime=0.24 cores=1,3,5,7
/proc/6473/task/6537/stat : 6537 (java) S 6470 6473 5064 0 -1 1077944384 839 13004 0 0 17 0 5 2 20 0 15 0 404617803 11084124160 19928 33554432000 4194304 4196468 140734840475072 140423229065712 140424129165954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6538] ppid=6470 vsize=10824340 memory=1492 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6538/stat : 6538 (java) S 6470 6473 5064 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 404617804 11084124160 19928 33554432000 4194304 4196468 140734840475072 140422675254112 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6539] ppid=6470 vsize=10825364 memory=864 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6539/stat : 6539 (java) S 6470 6473 5064 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 404617804 11085172736 19928 33554432000 4194304 4196468 140734840475072 140423228013104 140424129165954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 79564 KiB
[startup+1.50066 s]
/proc/loadavg: 1.71 1.49 1.62 3/229 6539
/proc/meminfo: memFree=30497108/32770624 swapFree=66916036/67108860
[pid=6473] ppid=6470 vsize=10834656 memory=169580 CPUtime=2.6 cores=1,3,5,7
/proc/6473/stat : 6473 (java) S 6470 6473 5064 0 -1 1077944320 24354 13004 0 0 245 8 5 2 20 0 15 0 404617789 11094687744 42395 33554432000 4194304 4196468 140734840475072 140734840457616 140424129154807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
/proc/6473/statm: 2708664 42395 3581 1 0 2670733 0
[pid=6473/tid=6526] ppid=6470 vsize=10834656 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/6473/task/6526/stat : 6526 (java) R 6470 6473 5064 0 -1 4202560 15939 13004 0 0 131 4 5 2 20 0 15 0 404617798 11094687744 42395 33554432000 4194304 4196468 140734840475072 140424100952544 140424129166742 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6527] ppid=6470 vsize=10834656 memory=280158166925568 CPUtime=0.08 cores=1,3,5,7
/proc/6473/task/6527/stat : 6527 (java) S 6470 6473 5064 0 -1 1077944384 305 13004 0 0 1 0 5 2 20 0 15 0 404617799 11094687744 42395 33554432000 4194304 4196468 140734840475072 140424133397520 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6528] ppid=6470 vsize=10834656 memory=280158166934880 CPUtime=0.08 cores=1,3,5,7
/proc/6473/task/6528/stat : 6528 (java) S 6470 6473 5064 0 -1 1077944384 20 13004 0 0 1 0 5 2 20 0 15 0 404617799 11094687744 42395 33554432000 4194304 4196468 140734840475072 140424032287888 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6529] ppid=6470 vsize=10834656 memory=140079083473296 CPUtime=0.08 cores=1,3,5,7
/proc/6473/task/6529/stat : 6529 (java) S 6470 6473 5064 0 -1 1077944384 80 13004 0 0 1 0 5 2 20 0 15 0 404617799 11094687744 42395 33554432000 4194304 4196468 140734840475072 140424031234832 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6530] ppid=6470 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6530/stat : 6530 (java) S 6470 6473 5064 0 -1 1077944384 70 13004 0 0 0 0 5 2 20 0 15 0 404617799 11094687744 42395 33554432000 4194304 4196468 140734840475072 140424030182288 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6531] ppid=6470 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6473/task/6531/stat : 6531 (java) S 6470 6473 5064 0 -1 1077944384 1515 13004 0 0 1 0 5 2 20 0 15 0 404617800 11094687744 42395 33554432000 4194304 4196468 140734840475072 140423588509936 140424129165954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6532] ppid=6470 vsize=10834656 memory=15225659067421 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6532/stat : 6532 (java) S 6470 6473 5064 0 -1 1077944384 34 13004 0 0 0 0 5 2 20 0 15 0 404617800 11094687744 42395 33554432000 4194304 4196468 140734840475072 140423587456224 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6533] ppid=6470 vsize=10834656 memory=7800340460801897527 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6533/stat : 6533 (java) S 6470 6473 5064 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 404617801 11094687744 42395 33554432000 4194304 4196468 140734840475072 140423016211200 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6534] ppid=6470 vsize=10834656 memory=7667771339728109672 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6534/stat : 6534 (java) S 6470 6473 5064 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 404617803 11094687744 42395 33554432000 4194304 4196468 140734840475072 140422708811728 140424129173403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6535] ppid=6470 vsize=10834656 memory=8027781149934113122 CPUtime=0.38 cores=1,3,5,7
/proc/6473/task/6535/stat : 6535 (java) R 6470 6473 5064 0 -1 4202560 1331 13004 0 0 31 0 5 2 20 0 15 0 404617803 11094687744 42395 33554432000 4194304 4196468 140734840475072 140423231161232 140424107602107 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6536] ppid=6470 vsize=10834656 memory=3472328296227736273 CPUtime=0.39 cores=1,3,5,7
/proc/6473/task/6536/stat : 6536 (java) R 6470 6473 5064 0 -1 1077944384 770 13004 0 0 32 0 5 2 20 0 15 0 404617803 11094687744 42395 33554432000 4194304 4196468 140734840475072 140423230118768 140424129165954 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6537] ppid=6470 vsize=10834656 memory=6655300316396806240 CPUtime=0.5 cores=1,3,5,7
/proc/6473/task/6537/stat : 6537 (java) R 6470 6473 5064 0 -1 4202560 2076 13004 0 0 43 0 5 2 20 0 15 0 404617803 11094687744 42395 33554432000 4194304 4196468 140734840475072 140423229065712 140424113235294 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6538] ppid=6470 vsize=10834656 memory=7378937357395259240 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6538/stat : 6538 (java) S 6470 6473 5064 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 404617804 11094687744 42395 33554432000 4194304 4196468 140734840475072 140422675254112 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6539] ppid=6470 vsize=10834656 memory=7800344859672537426 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6539/stat : 6539 (java) S 6470 6473 5064 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 404617804 11094687744 42395 33554432000 4194304 4196468 140734840475072 140423228013104 140424129165954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
Current children cumulated CPU time: 2.6 s
Current children cumulated vsize: 10834656 KiB
Current children cumulated memory: 169580 KiB
[startup+2.81077 s]
# the end of solver process 6473 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.74542 s, system=0.187517 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.6009 s]
/proc/loadavg: 1.71 1.49 1.62 3/229 6539
/proc/meminfo: memFree=30497108/32770624 swapFree=66916036/67108860
[pid=6473] ppid=6470 vsize=10834656 memory=171116 CPUtime=2.82 cores=1,3,5,7
/proc/6473/stat : 6473 (java) S 6470 6473 5064 0 -1 1077944320 24807 13004 0 0 266 9 5 2 20 0 15 0 404617789 11094687744 42755 33554432000 4194304 4196468 140734840475072 140734840457616 140424129154807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
/proc/6473/statm: 2708664 42779 3581 1 0 2670733 0
[pid=6473/tid=6526] ppid=6470 vsize=10834656 memory=-7533511066075829596 CPUtime=1.52 cores=1,3,5,7
/proc/6473/task/6526/stat : 6526 (java) R 6470 6473 5064 0 -1 4202560 16154 13004 0 0 141 4 5 2 20 0 15 0 404617798 11094687744 42779 33554432000 4194304 4196468 140734840475072 140424100971936 140423704421856 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6527] ppid=6470 vsize=10834656 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/6473/task/6527/stat : 6527 (java) S 6470 6473 5064 0 -1 1077944384 305 13004 0 0 1 0 5 2 20 0 15 0 404617799 11094687744 42779 33554432000 4194304 4196468 140734840475072 140424133397520 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6528] ppid=6470 vsize=10834656 memory=7682475212697334547 CPUtime=0.08 cores=1,3,5,7
/proc/6473/task/6528/stat : 6528 (java) S 6470 6473 5064 0 -1 1077944384 20 13004 0 0 1 0 5 2 20 0 15 0 404617799 11094687744 42779 33554432000 4194304 4196468 140734840475072 140424032287888 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6529] ppid=6470 vsize=10834656 memory=-7595718147998060693 CPUtime=0.08 cores=1,3,5,7
/proc/6473/task/6529/stat : 6529 (java) S 6470 6473 5064 0 -1 1077944384 80 13004 0 0 1 0 5 2 20 0 15 0 404617799 11094687744 42779 33554432000 4194304 4196468 140734840475072 140424031234832 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6530] ppid=6470 vsize=10834656 memory=-6803092254075368380 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6530/stat : 6530 (java) S 6470 6473 5064 0 -1 1077944384 70 13004 0 0 0 0 5 2 20 0 15 0 404617799 11094687744 42779 33554432000 4194304 4196468 140734840475072 140424030182288 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6531] ppid=6470 vsize=10834656 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/6473/task/6531/stat : 6531 (java) S 6470 6473 5064 0 -1 1077944384 1515 13004 0 0 1 0 5 2 20 0 15 0 404617800 11094687744 42779 33554432000 4194304 4196468 140734840475072 140423588509936 140424129165954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6532] ppid=6470 vsize=10834656 memory=611 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6532/stat : 6532 (java) S 6470 6473 5064 0 -1 1077944384 34 13004 0 0 0 0 5 2 20 0 15 0 404617800 11094687744 42779 33554432000 4194304 4196468 140734840475072 140423587456224 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6533] ppid=6470 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6533/stat : 6533 (java) S 6470 6473 5064 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 404617801 11094687744 42779 33554432000 4194304 4196468 140734840475072 140423016211200 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6534] ppid=6470 vsize=10834656 memory=15270 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6534/stat : 6534 (java) S 6470 6473 5064 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 404617803 11094687744 42779 33554432000 4194304 4196468 140734840475072 140422708811728 140424129173403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6535] ppid=6470 vsize=10834656 memory=1314 CPUtime=0.4 cores=1,3,5,7
/proc/6473/task/6535/stat : 6535 (java) S 6470 6473 5064 0 -1 1077944384 1378 13004 0 0 33 0 5 2 20 0 15 0 404617803 11094687744 42779 33554432000 4194304 4196468 140734840475072 140423231171312 140424129165954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6536] ppid=6470 vsize=10834656 memory=1 CPUtime=0.41 cores=1,3,5,7
/proc/6473/task/6536/stat : 6536 (java) S 6470 6473 5064 0 -1 1077944384 793 13004 0 0 34 0 5 2 20 0 15 0 404617803 11094687744 42779 33554432000 4194304 4196468 140734840475072 140423230118768 140424129165954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6537] ppid=6470 vsize=10834656 memory=146 CPUtime=0.57 cores=1,3,5,7
/proc/6473/task/6537/stat : 6537 (java) R 6470 6473 5064 0 -1 4202560 2255 13004 0 0 50 0 5 2 20 0 15 0 404617803 11094687744 42779 33554432000 4194304 4196468 140734840475072 140423229065712 140424129166742 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6538] ppid=6470 vsize=10834656 memory=296 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6538/stat : 6538 (java) S 6470 6473 5064 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 404617804 11094687744 42779 33554432000 4194304 4196468 140734840475072 140422675254112 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6539] ppid=6470 vsize=10834656 memory=1994 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6539/stat : 6539 (java) S 6470 6473 5064 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 404617804 11094687744 42779 33554432000 4194304 4196468 140734840475072 140423228013104 140424129165954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 10834656 KiB
Current children cumulated memory: 171116 KiB
[startup+2.40273 s]
/proc/loadavg: 1.57 1.47 1.61 6/229 6539
/proc/meminfo: memFree=30418632/32770624 swapFree=66916036/67108860
[pid=6473] ppid=6470 vsize=10840820 memory=199036 CPUtime=4.97 cores=1,3,5,7
/proc/6473/stat : 6473 (java) S 6470 6473 5064 0 -1 1077944320 32738 13004 0 0 478 12 5 2 20 0 15 0 404617789 11100999680 49759 33554432000 4194304 4196468 140734840475072 140734840457616 140424129154807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
/proc/6473/statm: 2710205 49759 3598 1 0 2672269 0
[pid=6473/tid=6526] ppid=6470 vsize=10840820 memory=4639059877821435984 CPUtime=2.33 cores=1,3,5,7
/proc/6473/task/6526/stat : 6526 (java) R 6470 6473 5064 0 -1 4202560 18556 13004 0 0 220 6 5 2 20 0 15 0 404617798 11100999680 49759 33554432000 4194304 4196468 140734840475072 140424100986768 140423704234306 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6527] ppid=6470 vsize=10840820 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/6473/task/6527/stat : 6527 (java) S 6470 6473 5064 0 -1 1077944384 305 13004 0 0 1 0 5 2 20 0 15 0 404617799 11100999680 49759 33554432000 4194304 4196468 140734840475072 140424133397520 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6528] ppid=6470 vsize=10840820 memory=168129514753954 CPUtime=0.08 cores=1,3,5,7
/proc/6473/task/6528/stat : 6528 (java) S 6470 6473 5064 0 -1 1077944384 20 13004 0 0 1 0 5 2 20 0 15 0 404617799 11100999680 49759 33554432000 4194304 4196468 140734840475072 140424032287888 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6529] ppid=6470 vsize=10840820 memory=2917565 CPUtime=0.08 cores=1,3,5,7
/proc/6473/task/6529/stat : 6529 (java) S 6470 6473 5064 0 -1 1077944384 80 13004 0 0 1 0 5 2 20 0 15 0 404617799 11100999680 49759 33554432000 4194304 4196468 140734840475072 140424031234832 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6530] ppid=6470 vsize=10840820 memory=5787213848925131109 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6530/stat : 6530 (java) S 6470 6473 5064 0 -1 1077944384 70 13004 0 0 0 0 5 2 20 0 15 0 404617799 11100999680 49759 33554432000 4194304 4196468 140734840475072 140424030182288 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6531] ppid=6470 vsize=10840820 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6473/task/6531/stat : 6531 (java) S 6470 6473 5064 0 -1 1077944384 1518 13004 0 0 1 0 5 2 20 0 15 0 404617800 11100999680 49759 33554432000 4194304 4196468 140734840475072 140423588509936 140424129165954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6532] ppid=6470 vsize=10840820 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6532/stat : 6532 (java) S 6470 6473 5064 0 -1 1077944384 34 13004 0 0 0 0 5 2 20 0 15 0 404617800 11100999680 49759 33554432000 4194304 4196468 140734840475072 140423587456224 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6533] ppid=6470 vsize=10840820 memory=280158166696576 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6533/stat : 6533 (java) S 6470 6473 5064 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 404617801 11100999680 49759 33554432000 4194304 4196468 140734840475072 140423016211200 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6534] ppid=6470 vsize=10840820 memory=55 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6534/stat : 6534 (java) S 6470 6473 5064 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 404617803 11100999680 49759 33554432000 4194304 4196468 140734840475072 140422708811728 140424129173403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6535] ppid=6470 vsize=10840820 memory=11 CPUtime=0.78 cores=1,3,5,7
/proc/6473/task/6535/stat : 6535 (java) S 6470 6473 5064 0 -1 1077944384 2817 13004 0 0 70 1 5 2 20 0 15 0 404617803 11100999680 49759 33554432000 4194304 4196468 140734840475072 140423231171312 140424129165954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6536] ppid=6470 vsize=10840820 memory=28002 CPUtime=0.96 cores=1,3,5,7
/proc/6473/task/6536/stat : 6536 (java) R 6470 6473 5064 0 -1 4202560 3110 13004 0 0 89 0 5 2 20 0 15 0 404617803 11100999680 49759 33554432000 4194304 4196468 140734840475072 140423230104792 140424114076560 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6537] ppid=6470 vsize=10840820 memory=0 CPUtime=0.98 cores=1,3,5,7
/proc/6473/task/6537/stat : 6537 (java) R 6470 6473 5064 0 -1 1077944384 4012 13004 0 0 90 1 5 2 20 0 15 0 404617803 11100999680 49759 33554432000 4194304 4196468 140734840475072 140423229063504 140424129165013 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6538] ppid=6470 vsize=10840820 memory=280158167130960 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6538/stat : 6538 (java) S 6470 6473 5064 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 404617804 11100999680 49759 33554432000 4194304 4196468 140734840475072 140422675254112 140424129165013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
[pid=6473/tid=6539] ppid=6470 vsize=10840820 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6473/task/6539/stat : 6539 (java) S 6470 6473 5064 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 404617804 11100999680 49759 33554432000 4194304 4196468 140734840475072 140423228013104 140424129165954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39378944 140734840482551 140734840485061 140734840485061 140734840487887 0
Current children cumulated CPU time: 4.97 s
Current children cumulated vsize: 10840820 KiB
Current children cumulated memory: 199036 KiB
[startup+2.80082 s]*
/proc/loadavg: 1.57 1.47 1.61 3/214 6540
/proc/meminfo: memFree=30589716/32770624 swapFree=66916036/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 2.8108
CPU time (s): 5.93293
CPU user time (s): 5.74542
CPU system time (s): 0.187517
CPU usage (%): 211.076
Max. virtual memory (cumulated for all children) (KiB): 10844916
Max. memory (cumulated for all children) (KiB): 228008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.74541
system time used= 0.187517
maximum resident set size= 235552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48601
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5226
involuntary context switches= 40
# summary of solver processes directly reported to runsolver:
# pid: 6473
# total CPU time (s): 5.93293
# total CPU user time (s): 5.74542
# total CPU system time (s): 0.187517
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040444 second user time and 0.064924 second system time
The end