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 (5290 MiB free)
memory of node 1: 16384 MiB (6807 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306949-1534067152/watcher-4306949-1534067152 -o /tmp/evaluation-result-4306949-1534067152/solver-4306949-1534067152 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534062145-25232 --watchdog 2580 HOME/xcsp3-exec -seed 1290133426 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306949-1534067152.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=25839, runsolver pid=25836
[startup+0.100132 s]*
/proc/loadavg: 1.58 1.37 1.38 3/217 25855
/proc/meminfo: memFree=12371640/32770624 swapFree=67108380/67108860
[pid=25839] ppid=25836 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25839/stat : 25839 (xcsp3-exec) S 25836 25839 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 224278416 115843072 364 33554432000 4194304 5098028 140736783706224 140736783704328 140682656051836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11722752 140736783709242 140736783709444 140736783709444 140736783712202 0
/proc/25839/statm: 28282 364 306 221 0 87 0
[pid=25841] ppid=25839 vsize=14082940 memory=28380 CPUtime=0.12 cores=1,3,5,7
/proc/25841/stat : 25841 (java) S 25839 25839 25200 0 -1 1077944320 5526 0 0 0 11 1 0 0 20 0 15 0 224278416 14420930560 7095 33554432000 4194304 4196468 140732769029856 140732769012400 140123082501879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
/proc/25841/statm: 3520735 7095 3000 1 0 3483012 0
[pid=25841/tid=25842] ppid=25839 vsize=14082940 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/25841/task/25842/stat : 25842 (java) R 25839 25839 25200 0 -1 4202560 3524 0 0 0 8 0 0 0 20 0 15 0 224278416 14420930560 7095 33554432000 4194304 4196468 140732769029856 140123086735152 140123068182045 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25843] ppid=25839 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (java) S 25839 25839 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224278417 14420930560 7095 33554432000 4194304 4196468 140732769029856 140123041262608 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25844] ppid=25839 vsize=14082940 memory=139636124227200 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (java) S 25839 25839 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224278417 14420930560 7095 33554432000 4194304 4196468 140732769029856 140122677132432 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25845] ppid=25839 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25845/stat : 25845 (java) S 25839 25839 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224278417 14420930560 7095 33554432000 4194304 4196468 140732769029856 140122676079376 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25846] ppid=25839 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25846/stat : 25846 (java) S 25839 25839 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224278417 14420930560 7095 33554432000 4194304 4196468 140732769029856 140122675026832 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25847] ppid=25839 vsize=14082940 memory=139636124227200 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25847/stat : 25847 (java) S 25839 25839 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224278418 14420930560 7095 33554432000 4194304 4196468 140732769029856 140122556655856 140123082513026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25848] ppid=25839 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25848/stat : 25848 (java) S 25839 25839 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224278419 14420930560 7095 33554432000 4194304 4196468 140732769029856 140122555602080 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25849] ppid=25839 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25849/stat : 25849 (java) S 25839 25839 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224278419 14420930560 7095 33554432000 4194304 4196468 140732769029856 140122554548976 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25850] ppid=25839 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25850/stat : 25850 (java) S 25839 25839 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224278421 14420930560 7095 33554432000 4194304 4196468 140732769029856 140122553497552 140123082520475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25851] ppid=25839 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25851/stat : 25851 (java) S 25839 25839 25200 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 224278421 14420930560 7095 33554432000 4194304 4196468 140732769029856 140122552445680 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25852] ppid=25839 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25852/stat : 25852 (java) S 25839 25839 25200 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 224278421 14420930560 7095 33554432000 4194304 4196468 140732769029856 140122551393136 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25853] ppid=25839 vsize=14082940 memory=139636124227200 CPUtime=0.01 cores=1,3,5,7
/proc/25841/task/25853/stat : 25853 (java) S 25839 25839 25200 0 -1 1077944384 264 0 0 0 1 0 0 0 20 0 15 0 224278421 14420930560 7095 33554432000 4194304 4196468 140732769029856 140122550340080 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25854] ppid=25839 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25854/stat : 25854 (java) S 25839 25839 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224278422 14420930560 7095 33554432000 4194304 4196468 140732769029856 140122549287776 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25855] ppid=25839 vsize=14082940 memory=139636124227200 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25855/stat : 25855 (java) S 25839 25839 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224278422 14420930560 7095 33554432000 4194304 4196468 140732769029856 140122548234800 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29836 KiB
[startup+0.210889 s]*
/proc/loadavg: 1.58 1.37 1.38 4/217 25855
/proc/meminfo: memFree=12359980/32770624 swapFree=67108380/67108860
[pid=25839] ppid=25836 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25839/stat : 25839 (xcsp3-exec) S 25836 25839 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 224278416 115843072 364 33554432000 4194304 5098028 140736783706224 140736783704328 140682656051836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11722752 140736783709242 140736783709444 140736783709444 140736783712202 0
/proc/25839/statm: 28282 364 306 221 0 87 0
[pid=25841] ppid=25839 vsize=14082940 memory=40856 CPUtime=0.34 cores=1,3,5,7
/proc/25841/stat : 25841 (java) S 25839 25839 25200 0 -1 1077944320 8334 0 0 0 32 2 0 0 20 0 15 0 224278416 14420930560 10214 33554432000 4194304 4196468 140732769029856 140732769012400 140123082501879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
/proc/25841/statm: 3520735 10214 3182 1 0 3483012 0
[pid=25841/tid=25842] ppid=25839 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/25841/task/25842/stat : 25842 (java) R 25839 25839 25200 0 -1 4202560 5422 0 0 0 19 1 0 0 20 0 15 0 224278416 14420930560 10214 33554432000 4194304 4196468 140732769029856 140123086736864 140123066582366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25843] ppid=25839 vsize=14082940 memory=11498 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (java) S 25839 25839 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224278417 14420930560 10214 33554432000 4194304 4196468 140732769029856 140123041262608 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25844] ppid=25839 vsize=14082940 memory=139636124252700 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (java) S 25839 25839 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224278417 14420930560 10214 33554432000 4194304 4196468 140732769029856 140122677132432 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25845] ppid=25839 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25845/stat : 25845 (java) S 25839 25839 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224278417 14420930560 10214 33554432000 4194304 4196468 140732769029856 140122676079376 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25846] ppid=25839 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25846/stat : 25846 (java) S 25839 25839 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224278417 14420930560 10214 33554432000 4194304 4196468 140732769029856 140122675026832 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25847] ppid=25839 vsize=14082940 memory=139636124227200 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25847/stat : 25847 (java) S 25839 25839 25200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224278418 14420930560 10214 33554432000 4194304 4196468 140732769029856 140122556655856 140123082513026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25848] ppid=25839 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25848/stat : 25848 (java) S 25839 25839 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224278419 14420930560 10214 33554432000 4194304 4196468 140732769029856 140122555602080 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25849] ppid=25839 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25849/stat : 25849 (java) S 25839 25839 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224278419 14420930560 10214 33554432000 4194304 4196468 140732769029856 140122554548976 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25850] ppid=25839 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25850/stat : 25850 (java) S 25839 25839 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224278421 14420930560 10214 33554432000 4194304 4196468 140732769029856 140122553497552 140123082520475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25851] ppid=25839 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25841/task/25851/stat : 25851 (java) S 25839 25839 25200 0 -1 1077944384 587 0 0 0 2 0 0 0 20 0 15 0 224278421 14420930560 10214 33554432000 4194304 4196468 140732769029856 140122552445680 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25852] ppid=25839 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/25841/task/25852/stat : 25852 (java) S 25839 25839 25200 0 -1 1077944384 239 0 0 0 2 0 0 0 20 0 15 0 224278421 14420930560 10214 33554432000 4194304 4196468 140732769029856 140122551393136 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25853] ppid=25839 vsize=14082940 memory=139636124227200 CPUtime=0.07 cores=1,3,5,7
/proc/25841/task/25853/stat : 25853 (java) S 25839 25839 25200 0 -1 1077944384 779 0 0 0 7 0 0 0 20 0 15 0 224278421 14420930560 10214 33554432000 4194304 4196468 140732769029856 140122550340080 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25854] ppid=25839 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25854/stat : 25854 (java) S 25839 25839 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224278422 14420930560 10214 33554432000 4194304 4196468 140732769029856 140122549287776 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25855] ppid=25839 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25855/stat : 25855 (java) S 25839 25839 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224278422 14420930560 10214 33554432000 4194304 4196468 140732769029856 140122548234800 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42312 KiB
[startup+0.310651 s]*
/proc/loadavg: 1.58 1.37 1.38 5/217 25855
/proc/meminfo: memFree=12354396/32770624 swapFree=67108380/67108860
[pid=25839] ppid=25836 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25839/stat : 25839 (xcsp3-exec) S 25836 25839 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 224278416 115843072 364 33554432000 4194304 5098028 140736783706224 140736783704328 140682656051836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11722752 140736783709242 140736783709444 140736783709444 140736783712202 0
/proc/25839/statm: 28282 364 306 221 0 87 0
[pid=25841] ppid=25839 vsize=14087196 memory=48100 CPUtime=0.53 cores=1,3,5,7
/proc/25841/stat : 25841 (java) S 25839 25839 25200 0 -1 1077944320 9195 0 0 0 50 3 0 0 20 0 15 0 224278416 14425288704 12025 33554432000 4194304 4196468 140732769029856 140732769012400 140123082501879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
/proc/25841/statm: 3521799 12025 3237 1 0 3483012 0
[pid=25841/tid=25842] ppid=25839 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/25841/task/25842/stat : 25842 (java) R 25839 25839 25200 0 -1 4202560 6113 0 0 0 28 2 0 0 20 0 15 0 224278416 14425288704 12025 33554432000 4194304 4196468 140732769029856 140123086732992 140123082523805 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25843] ppid=25839 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (java) S 25839 25839 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224278417 14425288704 12025 33554432000 4194304 4196468 140732769029856 140123041262608 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25844] ppid=25839 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (java) S 25839 25839 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224278417 14425288704 12025 33554432000 4194304 4196468 140732769029856 140122677132432 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25845] ppid=25839 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25845/stat : 25845 (java) S 25839 25839 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224278417 14425288704 12025 33554432000 4194304 4196468 140732769029856 140122676079376 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25846] ppid=25839 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25846/stat : 25846 (java) S 25839 25839 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224278417 14425288704 12025 33554432000 4194304 4196468 140732769029856 140122675026832 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25847] ppid=25839 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25847/stat : 25847 (java) S 25839 25839 25200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224278418 14425288704 12025 33554432000 4194304 4196468 140732769029856 140122556655856 140123082513026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25848] ppid=25839 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25848/stat : 25848 (java) S 25839 25839 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224278419 14425288704 12025 33554432000 4194304 4196468 140732769029856 140122555602080 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25849] ppid=25839 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25849/stat : 25849 (java) S 25839 25839 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224278419 14425288704 12025 33554432000 4194304 4196468 140732769029856 140122554548976 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25850] ppid=25839 vsize=14087196 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25850/stat : 25850 (java) S 25839 25839 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224278421 14425288704 12025 33554432000 4194304 4196468 140732769029856 140122553497552 140123082520475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25851] ppid=25839 vsize=14087196 memory=4426078206164241782 CPUtime=0.05 cores=1,3,5,7
/proc/25841/task/25851/stat : 25851 (java) R 25839 25839 25200 0 -1 4202560 678 0 0 0 5 0 0 0 20 0 15 0 224278421 14425288704 12025 33554432000 4194304 4196468 140732769029856 140122552436064 140123082523226 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25852] ppid=25839 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/25841/task/25852/stat : 25852 (java) S 25839 25839 25200 0 -1 1077944384 258 0 0 0 4 0 0 0 20 0 15 0 224278421 14425288704 12025 33554432000 4194304 4196468 140732769029856 140122551393136 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25853] ppid=25839 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25841/task/25853/stat : 25853 (java) S 25839 25839 25200 0 -1 1077944384 838 0 0 0 12 0 0 0 20 0 15 0 224278421 14425288704 12025 33554432000 4194304 4196468 140732769029856 140122550340080 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25854] ppid=25839 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25854/stat : 25854 (java) S 25839 25839 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224278422 14425288704 12025 33554432000 4194304 4196468 140732769029856 140122549287776 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25855] ppid=25839 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25855/stat : 25855 (java) S 25839 25839 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224278422 14425288704 12025 33554432000 4194304 4196468 140732769029856 140122548234800 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49556 KiB
[startup+0.701348 s]
/proc/loadavg: 1.58 1.37 1.38 4/217 25855
/proc/meminfo: memFree=12333736/32770624 swapFree=67108380/67108860
[pid=25839] ppid=25836 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25839/stat : 25839 (xcsp3-exec) S 25836 25839 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 224278416 115843072 364 33554432000 4194304 5098028 140736783706224 140736783704328 140682656051836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11722752 140736783709242 140736783709444 140736783709444 140736783712202 0
/proc/25839/statm: 28282 364 306 221 0 87 0
[pid=25841] ppid=25839 vsize=14089320 memory=77904 CPUtime=1.55 cores=1,3,5,7
/proc/25841/stat : 25841 (java) S 25839 25839 25200 0 -1 1077944320 11149 0 0 0 151 4 0 0 20 0 15 0 224278416 14427463680 19476 33554432000 4194304 4196468 140732769029856 140732769012400 140123082501879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
/proc/25841/statm: 3522330 19476 3361 1 0 3483524 0
[pid=25841/tid=25842] ppid=25839 vsize=14089320 memory=1752 CPUtime=0.67 cores=1,3,5,7
/proc/25841/task/25842/stat : 25842 (java) R 25839 25839 25200 0 -1 4202560 6896 0 0 0 64 3 0 0 20 0 15 0 224278416 14427463680 19476 33554432000 4194304 4196468 140732769029856 140123086738640 140122722653888 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25843] ppid=25839 vsize=14089320 memory=5752 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (java) S 25839 25839 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224278417 14427463680 19476 33554432000 4194304 4196468 140732769029856 140123041262608 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25844] ppid=25839 vsize=14089320 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (java) S 25839 25839 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224278417 14427463680 19476 33554432000 4194304 4196468 140732769029856 140122677132432 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25845] ppid=25839 vsize=14089320 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25845/stat : 25845 (java) S 25839 25839 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224278417 14427463680 19476 33554432000 4194304 4196468 140732769029856 140122676079376 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25846] ppid=25839 vsize=14089320 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25846/stat : 25846 (java) S 25839 25839 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224278417 14427463680 19476 33554432000 4194304 4196468 140732769029856 140122675026832 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25847] ppid=25839 vsize=14089320 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25847/stat : 25847 (java) S 25839 25839 25200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224278418 14427463680 19476 33554432000 4194304 4196468 140732769029856 140122556655856 140123082513026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25848] ppid=25839 vsize=14089320 memory=868 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25848/stat : 25848 (java) S 25839 25839 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224278419 14427463680 19476 33554432000 4194304 4196468 140732769029856 140122555602080 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25849] ppid=25839 vsize=14089320 memory=7336 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25849/stat : 25849 (java) S 25839 25839 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224278419 14427463680 19476 33554432000 4194304 4196468 140732769029856 140122554548976 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25850] ppid=25839 vsize=14089320 memory=11628 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25850/stat : 25850 (java) S 25839 25839 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224278421 14427463680 19476 33554432000 4194304 4196468 140732769029856 140122553497552 140123082520475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25851] ppid=25839 vsize=14089320 memory=752 CPUtime=0.25 cores=1,3,5,7
/proc/25841/task/25851/stat : 25851 (java) S 25839 25839 25200 0 -1 1077944384 957 0 0 0 25 0 0 0 20 0 15 0 224278421 14427463680 19476 33554432000 4194304 4196468 140732769029856 140122552445680 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25852] ppid=25839 vsize=14089320 memory=1276 CPUtime=0.27 cores=1,3,5,7
/proc/25841/task/25852/stat : 25852 (java) S 25839 25839 25200 0 -1 1077944384 571 0 0 0 27 0 0 0 20 0 15 0 224278421 14427463680 19476 33554432000 4194304 4196468 140732769029856 140122551393136 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25853] ppid=25839 vsize=14089320 memory=1068 CPUtime=0.33 cores=1,3,5,7
/proc/25841/task/25853/stat : 25853 (java) S 25839 25839 25200 0 -1 1077944384 1414 0 0 0 33 0 0 0 20 0 15 0 224278421 14427463680 19476 33554432000 4194304 4196468 140732769029856 140122550340080 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25854] ppid=25839 vsize=14089320 memory=15080 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25854/stat : 25854 (java) S 25839 25839 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224278422 14427463680 19476 33554432000 4194304 4196468 140732769029856 140122549287776 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25855] ppid=25839 vsize=14089320 memory=33992 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25855/stat : 25855 (java) S 25839 25839 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224278422 14427463680 19476 33554432000 4194304 4196468 140732769029856 140122548234800 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 79360 KiB
[startup+1.5007 s]
/proc/loadavg: 1.58 1.37 1.38 4/217 25855
/proc/meminfo: memFree=12323064/32770624 swapFree=67108380/67108860
[pid=25839] ppid=25836 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25839/stat : 25839 (xcsp3-exec) S 25836 25839 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 224278416 115843072 364 33554432000 4194304 5098028 140736783706224 140736783704328 140682656051836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11722752 140736783709242 140736783709444 140736783709444 140736783712202 0
/proc/25839/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/25841/task/25849/stat : 25849 (java) S 25839 25839 25200 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 224278419 14427463680 651404 33554432000 4194304 4196468 140732769029856 140122554548992 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25850] ppid=25839 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25850/stat : 25850 (java) S 25839 25839 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224278421 14427463680 651404 33554432000 4194304 4196468 140732769029856 140122553497552 140123082520475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25851] ppid=25839 vsize=14089320 memory=5808364 CPUtime=1.22 cores=1,3,5,7
/proc/25841/task/25851/stat : 25851 (java) S 25839 25839 25200 0 -1 1077944384 9964 0 0 0 120 2 0 0 20 0 15 0 224278421 14427463680 651404 33554432000 4194304 4196468 140732769029856 140122552445680 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25852] ppid=25839 vsize=14089320 memory=5769300 CPUtime=1.04 cores=1,3,5,7
/proc/25841/task/25852/stat : 25852 (java) S 25839 25839 25200 0 -1 1077944384 8652 0 0 0 102 2 0 0 20 0 15 0 224278421 14427463680 651404 33554432000 4194304 4196468 140732769029856 140122551393136 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25853] ppid=25839 vsize=14089320 memory=920 CPUtime=0.49 cores=1,3,5,7
/proc/25841/task/25853/stat : 25853 (java) S 25839 25839 25200 0 -1 1077944384 6834 0 0 0 48 1 0 0 20 0 15 0 224278421 14427463680 651404 33554432000 4194304 4196468 140732769029856 140122550340080 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25854] ppid=25839 vsize=14089320 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25854/stat : 25854 (java) S 25839 25839 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224278422 14427463680 651404 33554432000 4194304 4196468 140732769029856 140122549287776 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25855] ppid=25839 vsize=14089320 memory=1456 CPUtime=0.64 cores=1,3,5,7
/proc/25841/task/25855/stat : 25855 (java) S 25839 25839 25200 0 -1 1077944384 1613 0 0 0 29 35 0 0 20 0 15 0 224278422 14427463680 651404 33554432000 4194304 4196468 140732769029856 140122548234800 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
Current children cumulated CPU time: 2388.03 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2607072 KiB
[startup+2442.3 s]
/proc/loadavg: 1.93 1.96 1.91 3/217 26030
/proc/meminfo: memFree=6195856/32770624 swapFree=67108380/67108860
[pid=25839] ppid=25836 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25839/stat : 25839 (xcsp3-exec) S 25836 25839 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 224278416 115843072 364 33554432000 4194304 5098028 140736783706224 140736783704328 140682656051836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11722752 140736783709242 140736783709444 140736783709444 140736783712202 0
/proc/25839/statm: 28282 364 306 221 0 87 0
[pid=25841] ppid=25839 vsize=14089320 memory=5047240 CPUtime=2448.34 cores=1,3,5,7
/proc/25841/stat : 25841 (java) S 25839 25839 25200 0 -1 1077944320 185713 0 0 0 244443 391 0 0 20 0 15 0 224278416 14427463680 1261810 33554432000 4194304 4196468 140732769029856 140732769012400 140123082501879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
/proc/25841/statm: 3522330 1261810 3428 1 0 3483524 0
[pid=25841/tid=25842] ppid=25839 vsize=14089320 memory=5047240 CPUtime=2440.52 cores=1,3,5,7
/proc/25841/task/25842/stat : 25842 (java) R 25839 25839 25200 0 -1 4202560 88461 0 0 0 243755 297 0 0 20 0 15 0 224278416 14427463680 1261810 33554432000 4194304 4196468 140732769029856 140123086741656 140122723548311 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25843] ppid=25839 vsize=14089320 memory=4463312 CPUtime=0.97 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (java) S 25839 25839 25200 0 -1 1077944384 5821 0 0 0 89 8 0 0 20 0 15 0 224278417 14427463680 1261810 33554432000 4194304 4196468 140732769029856 140123041262608 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25844] ppid=25839 vsize=14089320 memory=4588732 CPUtime=0.97 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (java) S 25839 25839 25200 0 -1 1077944384 8525 0 0 0 88 9 0 0 20 0 15 0 224278417 14427463680 1261810 33554432000 4194304 4196468 140732769029856 140122677132432 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25845] ppid=25839 vsize=14089320 memory=4673028 CPUtime=0.97 cores=1,3,5,7
/proc/25841/task/25845/stat : 25845 (java) S 25839 25839 25200 0 -1 1077944384 6816 0 0 0 88 9 0 0 20 0 15 0 224278417 14427463680 1261810 33554432000 4194304 4196468 140732769029856 140122676079376 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25846] ppid=25839 vsize=14089320 memory=5047240 CPUtime=0.96 cores=1,3,5,7
/proc/25841/task/25846/stat : 25846 (java) S 25839 25839 25200 0 -1 1077944384 8057 0 0 0 88 8 0 0 20 0 15 0 224278417 14427463680 1261810 33554432000 4194304 4196468 140732769029856 140122675026832 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25847] ppid=25839 vsize=14089320 memory=5047240 CPUtime=0.46 cores=1,3,5,7
/proc/25841/task/25847/stat : 25847 (java) S 25839 25839 25200 0 -1 1077944384 39583 0 0 0 21 25 0 0 20 0 15 0 224278418 14427463680 1261810 33554432000 4194304 4196468 140732769029856 140122556655856 140123082513026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25848] ppid=25839 vsize=14089320 memory=5047240 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25848/stat : 25848 (java) S 25839 25839 25200 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 224278419 14427463680 1261810 33554432000 4194304 4196468 140732769029856 140122555602144 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25849] ppid=25839 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25849/stat : 25849 (java) S 25839 25839 25200 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 224278419 14427463680 1261810 33554432000 4194304 4196468 140732769029856 140122554548992 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25850] ppid=25839 vsize=14089320 memory=4964992 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25850/stat : 25850 (java) S 25839 25839 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224278421 14427463680 1261810 33554432000 4194304 4196468 140732769029856 140122553497552 140123082520475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25851] ppid=25839 vsize=14089320 memory=808 CPUtime=1.22 cores=1,3,5,7
/proc/25841/task/25851/stat : 25851 (java) S 25839 25839 25200 0 -1 1077944384 9964 0 0 0 120 2 0 0 20 0 15 0 224278421 14427463680 1261810 33554432000 4194304 4196468 140732769029856 140122552445680 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25852] ppid=25839 vsize=14089320 memory=1456 CPUtime=1.04 cores=1,3,5,7
/proc/25841/task/25852/stat : 25852 (java) S 25839 25839 25200 0 -1 1077944384 8652 0 0 0 102 2 0 0 20 0 15 0 224278421 14427463680 1261810 33554432000 4194304 4196468 140732769029856 140122551393136 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25853] ppid=25839 vsize=14089320 memory=3816 CPUtime=0.49 cores=1,3,5,7
/proc/25841/task/25853/stat : 25853 (java) S 25839 25839 25200 0 -1 1077944384 6834 0 0 0 48 1 0 0 20 0 15 0 224278421 14427463680 1261810 33554432000 4194304 4196468 140732769029856 140122550340080 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25854] ppid=25839 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25854/stat : 25854 (java) S 25839 25839 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224278422 14427463680 1261810 33554432000 4194304 4196468 140732769029856 140122549287776 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25855] ppid=25839 vsize=14089320 memory=1456 CPUtime=0.66 cores=1,3,5,7
/proc/25841/task/25855/stat : 25855 (java) S 25839 25839 25200 0 -1 1077944384 1617 0 0 0 30 36 0 0 20 0 15 0 224278422 14427463680 1261810 33554432000 4194304 4196468 140732769029856 140122548234800 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
Current children cumulated CPU time: 2448.34 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 5048696 KiB
[startup+2502.3 s]
/proc/loadavg: 1.98 1.97 1.92 3/217 26031
/proc/meminfo: memFree=3487296/32770624 swapFree=67108380/67108860
[pid=25839] ppid=25836 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25839/stat : 25839 (xcsp3-exec) S 25836 25839 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 224278416 115843072 364 33554432000 4194304 5098028 140736783706224 140736783704328 140682656051836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11722752 140736783709242 140736783709444 140736783709444 140736783712202 0
/proc/25839/statm: 28282 364 306 221 0 87 0
[pid=25841] ppid=25839 vsize=14089320 memory=7794092 CPUtime=2508.52 cores=1,3,5,7
/proc/25841/stat : 25841 (java) S 25839 25839 25200 0 -1 1077944320 189802 0 0 0 250409 443 0 0 20 0 15 0 224278416 14427463680 1948523 33554432000 4194304 4196468 140732769029856 140732769012400 140123082501879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
/proc/25841/statm: 3522330 1948523 3428 1 0 3483524 0
[pid=25841/tid=25842] ppid=25839 vsize=14089320 memory=7537096 CPUtime=2500.46 cores=1,3,5,7
/proc/25841/task/25842/stat : 25842 (java) R 25839 25839 25200 0 -1 4202560 92487 0 0 0 249697 349 0 0 20 0 15 0 224278416 14427463680 1948523 33554432000 4194304 4196468 140732769029856 140123086741656 140122724459148 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25843] ppid=25839 vsize=14089320 memory=7794092 CPUtime=1.02 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (java) S 25839 25839 25200 0 -1 1077944384 5834 0 0 0 94 8 0 0 20 0 15 0 224278417 14427463680 1948523 33554432000 4194304 4196468 140732769029856 140123041262608 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25844] ppid=25839 vsize=14089320 memory=7409624 CPUtime=1.02 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (java) S 25839 25839 25200 0 -1 1077944384 8540 0 0 0 93 9 0 0 20 0 15 0 224278417 14427463680 1948523 33554432000 4194304 4196468 140732769029856 140122677132432 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25845] ppid=25839 vsize=14089320 memory=1456 CPUtime=1.03 cores=1,3,5,7
/proc/25841/task/25845/stat : 25845 (java) S 25839 25839 25200 0 -1 1077944384 6826 0 0 0 94 9 0 0 20 0 15 0 224278417 14427463680 1948523 33554432000 4194304 4196468 140732769029856 140122676079376 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25846] ppid=25839 vsize=14089320 memory=7750920 CPUtime=1.02 cores=1,3,5,7
/proc/25841/task/25846/stat : 25846 (java) S 25839 25839 25200 0 -1 1077944384 8074 0 0 0 94 8 0 0 20 0 15 0 224278417 14427463680 1948523 33554432000 4194304 4196468 140732769029856 140122675026832 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25847] ppid=25839 vsize=14089320 memory=4126316290023845779 CPUtime=0.46 cores=1,3,5,7
/proc/25841/task/25847/stat : 25847 (java) S 25839 25839 25200 0 -1 1077944384 39587 0 0 0 21 25 0 0 20 0 15 0 224278418 14427463680 1948523 33554432000 4194304 4196468 140732769029856 140122556655856 140123082513026 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25848] ppid=25839 vsize=14089320 memory=7368496 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25848/stat : 25848 (java) S 25839 25839 25200 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 224278419 14427463680 1948523 33554432000 4194304 4196468 140732769029856 140122555602144 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25849] ppid=25839 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25849/stat : 25849 (java) S 25839 25839 25200 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 224278419 14427463680 1948523 33554432000 4194304 4196468 140732769029856 140122554548992 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25850] ppid=25839 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25850/stat : 25850 (java) S 25839 25839 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224278421 14427463680 1948523 33554432000 4194304 4196468 140732769029856 140122553497552 140123082520475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25851] ppid=25839 vsize=14089320 memory=1456 CPUtime=1.22 cores=1,3,5,7
/proc/25841/task/25851/stat : 25851 (java) S 25839 25839 25200 0 -1 1077944384 9964 0 0 0 120 2 0 0 20 0 15 0 224278421 14427463680 1948523 33554432000 4194304 4196468 140732769029856 140122552445680 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25852] ppid=25839 vsize=14089320 memory=7325320 CPUtime=1.04 cores=1,3,5,7
/proc/25841/task/25852/stat : 25852 (java) S 25839 25839 25200 0 -1 1077944384 8652 0 0 0 102 2 0 0 20 0 15 0 224278421 14427463680 1948523 33554432000 4194304 4196468 140732769029856 140122551393136 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25853] ppid=25839 vsize=14089320 memory=6791534058613427641 CPUtime=0.49 cores=1,3,5,7
/proc/25841/task/25853/stat : 25853 (java) S 25839 25839 25200 0 -1 1077944384 6834 0 0 0 48 1 0 0 20 0 15 0 224278421 14427463680 1948523 33554432000 4194304 4196468 140732769029856 140122550340080 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25854] ppid=25839 vsize=14089320 memory=5752 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25854/stat : 25854 (java) S 25839 25839 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224278422 14427463680 1948523 33554432000 4194304 4196468 140732769029856 140122549287776 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25855] ppid=25839 vsize=14089320 memory=7750920 CPUtime=0.68 cores=1,3,5,7
/proc/25841/task/25855/stat : 25855 (java) S 25839 25839 25200 0 -1 1077944384 1621 0 0 0 31 37 0 0 20 0 15 0 224278422 14427463680 1948523 33554432000 4194304 4196468 140732769029856 140122548234800 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
Current children cumulated CPU time: 2508.52 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 7795548 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.8 s]
/proc/loadavg: 1.91 1.95 1.91 3/217 26031
/proc/meminfo: memFree=2893632/32770624 swapFree=67108380/67108860
[pid=25839] ppid=25836 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25839/stat : 25839 (xcsp3-exec) S 25836 25839 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 224278416 115843072 364 33554432000 4194304 5098028 140736783706224 140736783704328 140682656051836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11722752 140736783709242 140736783709444 140736783709444 140736783712202 0
/proc/25839/statm: 28282 364 306 221 0 87 0
[pid=25841] ppid=25839 vsize=14089320 memory=8348720 CPUtime=2520.09 cores=1,3,5,7
/proc/25841/stat : 25841 (java) S 25839 25839 25200 0 -1 1077944320 193709 0 0 0 251543 466 0 0 20 0 15 0 224278416 14427463680 2087180 33554432000 4194304 4196468 140732769029856 140732769012400 140123082501879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
/proc/25841/statm: 3522330 2087180 3428 1 0 3483524 0
[pid=25841/tid=25842] ppid=25839 vsize=14089320 memory=3988 CPUtime=2511.93 cores=1,3,5,7
/proc/25841/task/25842/stat : 25842 (java) R 25839 25839 25200 0 -1 4202560 96370 0 0 0 250823 370 0 0 20 0 15 0 224278416 14427463680 2087180 33554432000 4194304 4196468 140732769029856 140123086741656 140122723548595 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25843] ppid=25839 vsize=14089320 memory=1924 CPUtime=1.04 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (java) S 25839 25839 25200 0 -1 1077944384 5837 0 0 0 96 8 0 0 20 0 15 0 224278417 14427463680 2087180 33554432000 4194304 4196468 140732769029856 140123041262608 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25844] ppid=25839 vsize=14089320 memory=7532 CPUtime=1.04 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (java) S 25839 25839 25200 0 -1 1077944384 8546 0 0 0 95 9 0 0 20 0 15 0 224278417 14427463680 2087180 33554432000 4194304 4196468 140732769029856 140122677132432 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25845] ppid=25839 vsize=14089320 memory=808 CPUtime=1.05 cores=1,3,5,7
/proc/25841/task/25845/stat : 25845 (java) S 25839 25839 25200 0 -1 1077944384 6834 0 0 0 96 9 0 0 20 0 15 0 224278417 14427463680 2087180 33554432000 4194304 4196468 140732769029856 140122676079376 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25846] ppid=25839 vsize=14089320 memory=1800 CPUtime=1.04 cores=1,3,5,7
/proc/25841/task/25846/stat : 25846 (java) S 25839 25839 25200 0 -1 1077944384 8079 0 0 0 96 8 0 0 20 0 15 0 224278417 14427463680 2087180 33554432000 4194304 4196468 140732769029856 140122675026832 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25847] ppid=25839 vsize=14089320 memory=8348720 CPUtime=0.46 cores=1,3,5,7
/proc/25841/task/25847/stat : 25847 (java) S 25839 25839 25200 0 -1 1077944384 39589 0 0 0 21 25 0 0 20 0 15 0 224278418 14427463680 2087180 33554432000 4194304 4196468 140732769029856 140122556655856 140123082513026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25848] ppid=25839 vsize=14089320 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25848/stat : 25848 (java) S 25839 25839 25200 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 224278419 14427463680 2087180 33554432000 4194304 4196468 140732769029856 140122555602144 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25849] ppid=25839 vsize=14089320 memory=8305544 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25849/stat : 25849 (java) S 25839 25839 25200 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 224278419 14427463680 2087180 33554432000 4194304 4196468 140732769029856 140122554548992 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25850] ppid=25839 vsize=14089320 memory=5928248 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25850/stat : 25850 (java) S 25839 25839 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224278421 14427463680 2087180 33554432000 4194304 4196468 140732769029856 140122553497552 140123082520475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25851] ppid=25839 vsize=14089320 memory=4673028 CPUtime=1.22 cores=1,3,5,7
/proc/25841/task/25851/stat : 25851 (java) S 25839 25839 25200 0 -1 1077944384 9964 0 0 0 120 2 0 0 20 0 15 0 224278421 14427463680 2087180 33554432000 4194304 4196468 140732769029856 140122552445680 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25852] ppid=25839 vsize=14089320 memory=13808 CPUtime=1.04 cores=1,3,5,7
/proc/25841/task/25852/stat : 25852 (java) S 25839 25839 25200 0 -1 1077944384 8652 0 0 0 102 2 0 0 20 0 15 0 224278421 14427463680 2087180 33554432000 4194304 4196468 140732769029856 140122551393136 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25853] ppid=25839 vsize=14089320 memory=3816 CPUtime=0.49 cores=1,3,5,7
/proc/25841/task/25853/stat : 25853 (java) S 25839 25839 25200 0 -1 1077944384 6834 0 0 0 48 1 0 0 20 0 15 0 224278421 14427463680 2087180 33554432000 4194304 4196468 140732769029856 140122550340080 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25854] ppid=25839 vsize=14089320 memory=61076 CPUtime=0 cores=1,3,5,7
/proc/25841/task/25854/stat : 25854 (java) S 25839 25839 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224278422 14427463680 2087180 33554432000 4194304 4196468 140732769029856 140122549287776 140123082512085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
[pid=25841/tid=25855] ppid=25839 vsize=14089320 memory=1100 CPUtime=0.69 cores=1,3,5,7
/proc/25841/task/25855/stat : 25855 (java) S 25839 25839 25200 0 -1 1077944384 1621 0 0 0 31 38 0 0 20 0 15 0 224278422 14427463680 2087180 33554432000 4194304 4196468 140732769029856 140122548234800 140123082513026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 16752640 140732769031302 140732769031473 140732769031473 140732769034191 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 8350176 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.81 s]
# the end of solver process 25839 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002142 s, system=0 s
[startup+2513.85 s]
# the end of solver process 25841 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.45 s, system=4.69948 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): 2513.85
CPU time (s): 2520.15
CPU user time (s): 2515.45
CPU system time (s): 4.69948
CPU usage (%): 100.251
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 8350176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.45
system time used= 4.69948
maximum resident set size= 8349352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194495
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60155
involuntary context switches= 1771
# summary of solver processes directly reported to runsolver:
# pid: 25839,25841
# total CPU time (s): 2520.15
# total CPU user time (s): 2515.45
# total CPU system time (s): 4.69948
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6834 second user time and 19.6075 second system time
The end