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 (14182 MiB free)
memory of node 1: 16384 MiB (13399 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282943-1503211492/watcher-4282943-1503211492 -o /tmp/evaluation-result-4282943-1503211492/solver-4282943-1503211492 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node102-1503209175-21930 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1766263192 HOME/instance-4282943-1503211492.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23276, runsolver pid=23273
[startup+0.102597 s]*
/proc/loadavg: 2.33 1.97 1.73 4/218 23292
/proc/meminfo: memFree=28225204/32770624 swapFree=67108860/67108860
[pid=23276] ppid=23273 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23276/stat : 23276 (xcsp3-exec) S 23273 23276 21899 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154237339 9740288 346 33554432000 4194304 5098028 140723369110576 140723369108680 140115356189308 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11714560 140723369116788 140723369116992 140723369116992 140723369119723 0
/proc/23276/statm: 2378 346 289 221 0 87 0
[pid=23278] ppid=23276 vsize=13978596 memory=28812 CPUtime=0.12 cores=0,2,4,6
/proc/23278/stat : 23278 (java) S 23276 23276 21899 0 -1 1077944320 5057 0 0 0 11 1 0 0 20 0 15 0 154237339 14314082304 7203 33554432000 4194304 4196468 140729891273552 140729891256096 140007097925367 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
/proc/23278/statm: 3494649 7203 2867 1 0 3482966 0
[pid=23278/tid=23279] ppid=23276 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/23278/task/23279/stat : 23279 (java) R 23276 23276 21899 0 -1 4202560 3066 0 0 0 8 1 0 0 20 0 15 0 154237340 14314082304 7268 33554432000 4194304 4196468 140729891273552 140007102158640 140007097937302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23280] ppid=23276 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23280/stat : 23280 (java) S 23276 23276 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154237340 14314082304 7268 33554432000 4194304 4196468 140729891273552 140007012993424 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23281] ppid=23276 vsize=13978596 memory=139937907271296 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23281/stat : 23281 (java) S 23276 23276 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154237340 14314082304 7268 33554432000 4194304 4196468 140729891273552 140007011940624 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23282] ppid=23276 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23282/stat : 23282 (java) S 23276 23276 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154237340 14314082304 7268 33554432000 4194304 4196468 140729891273552 140007010888336 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23283] ppid=23276 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23283/stat : 23283 (java) S 23276 23276 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154237340 14314082304 7268 33554432000 4194304 4196468 140729891273552 140007009835536 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23284] ppid=23276 vsize=13978596 memory=139937907271296 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23284/stat : 23284 (java) S 23276 23276 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154237342 14314082304 7268 33554432000 4194304 4196468 140729891273552 140006572116592 140007097936514 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23285] ppid=23276 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23285/stat : 23285 (java) S 23276 23276 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154237342 14314082304 7268 33554432000 4194304 4196468 140729891273552 140006571062560 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23286] ppid=23276 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23286/stat : 23286 (java) S 23276 23276 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154237342 14314082304 7268 33554432000 4194304 4196468 140729891273552 140006570010224 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23287] ppid=23276 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23287/stat : 23287 (java) S 23276 23276 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154237345 14314082304 7268 33554432000 4194304 4196468 140729891273552 140006568958544 140007097943963 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23288] ppid=23276 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23288/stat : 23288 (java) S 23276 23276 21899 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 154237345 14314082304 7268 33554432000 4194304 4196468 140729891273552 140006567905392 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23289] ppid=23276 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23289/stat : 23289 (java) S 23276 23276 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154237345 14314082304 7268 33554432000 4194304 4196468 140729891273552 140006566852592 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23290] ppid=23276 vsize=13978596 memory=139937907271296 CPUtime=0.01 cores=0,2,4,6
/proc/23278/task/23290/stat : 23290 (java) R 23276 23276 21899 0 -1 4202560 316 0 0 0 1 0 0 0 20 0 15 0 154237345 14314082304 7268 33554432000 4194304 4196468 140729891273552 140006565800304 140007076878050 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23291] ppid=23276 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23291/stat : 23291 (java) S 23276 23276 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154237345 14314082304 7268 33554432000 4194304 4196468 140729891273552 140006564747744 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23292] ppid=23276 vsize=13978596 memory=139937907271296 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23292/stat : 23292 (java) S 23276 23276 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154237345 14314082304 7268 33554432000 4194304 4196468 140729891273552 140006563695536 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30196 KiB
[startup+0.21087 s]*
/proc/loadavg: 2.33 1.97 1.73 3/218 23292
/proc/meminfo: memFree=28213744/32770624 swapFree=67108860/67108860
[pid=23276] ppid=23273 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23276/stat : 23276 (xcsp3-exec) S 23273 23276 21899 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154237339 9740288 346 33554432000 4194304 5098028 140723369110576 140723369108680 140115356189308 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11714560 140723369116788 140723369116992 140723369116992 140723369119723 0
/proc/23276/statm: 2378 346 289 221 0 87 0
[pid=23278] ppid=23276 vsize=13982884 memory=40180 CPUtime=0.33 cores=0,2,4,6
/proc/23278/stat : 23278 (java) S 23276 23276 21899 0 -1 1077944320 7567 0 0 0 31 2 0 0 20 0 15 0 154237339 14318473216 10045 33554432000 4194304 4196468 140729891273552 140729891256096 140007097925367 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
/proc/23278/statm: 3495721 10045 3062 1 0 3482974 0
[pid=23278/tid=23279] ppid=23276 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/23278/task/23279/stat : 23279 (java) R 23276 23276 21899 0 -1 4202560 4787 0 0 0 18 2 0 0 20 0 15 0 154237340 14318440448 10064 33554432000 4194304 4196468 140729891273552 140007102135168 140007090604589 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23280] ppid=23276 vsize=13982884 memory=8961 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23280/stat : 23280 (java) S 23276 23276 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154237340 14318473216 10064 33554432000 4194304 4196468 140729891273552 140007012993424 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23281] ppid=23276 vsize=13982852 memory=3473037785483765408 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23281/stat : 23281 (java) S 23276 23276 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154237340 14318440448 10064 33554432000 4194304 4196468 140729891273552 140007011940624 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23282] ppid=23276 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23282/stat : 23282 (java) S 23276 23276 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154237340 14318440448 10064 33554432000 4194304 4196468 140729891273552 140007010888336 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23283] ppid=23276 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23283/stat : 23283 (java) S 23276 23276 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154237340 14318440448 10064 33554432000 4194304 4196468 140729891273552 140007009835536 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23284] ppid=23276 vsize=13982852 memory=139937907271296 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23284/stat : 23284 (java) S 23276 23276 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154237342 14318440448 10064 33554432000 4194304 4196468 140729891273552 140006572116592 140007097936514 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23285] ppid=23276 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23285/stat : 23285 (java) S 23276 23276 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154237342 14318440448 10064 33554432000 4194304 4196468 140729891273552 140006571062560 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23286] ppid=23276 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23286/stat : 23286 (java) S 23276 23276 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154237342 14318440448 10064 33554432000 4194304 4196468 140729891273552 140006570010224 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23287] ppid=23276 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23287/stat : 23287 (java) S 23276 23276 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154237345 14318440448 10064 33554432000 4194304 4196468 140729891273552 140006568958544 140007097943963 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23288] ppid=23276 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23278/task/23288/stat : 23288 (java) S 23276 23276 21899 0 -1 1077944384 601 0 0 0 2 0 0 0 20 0 15 0 154237345 14318440448 10064 33554432000 4194304 4196468 140729891273552 140006567905392 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23289] ppid=23276 vsize=13982884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23278/task/23289/stat : 23289 (java) S 23276 23276 21899 0 -1 1077944384 170 0 0 0 2 0 0 0 20 0 15 0 154237345 14318473216 10064 33554432000 4194304 4196468 140729891273552 140006566852592 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23290] ppid=23276 vsize=13982884 memory=139937907271296 CPUtime=0.08 cores=0,2,4,6
/proc/23278/task/23290/stat : 23290 (java) S 23276 23276 21899 0 -1 1077944384 706 0 0 0 8 0 0 0 20 0 15 0 154237345 14318473216 10064 33554432000 4194304 4196468 140729891273552 140006565800304 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23291] ppid=23276 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23291/stat : 23291 (java) S 23276 23276 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154237345 14318440448 10064 33554432000 4194304 4196468 140729891273552 140006564747744 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23292] ppid=23276 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23292/stat : 23292 (java) S 23276 23276 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154237345 14318440448 10064 33554432000 4194304 4196468 140729891273552 140006563695536 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992396 KiB
Current children cumulated memory: 41564 KiB
[startup+0.310413 s]*
/proc/loadavg: 2.33 1.97 1.73 4/218 23292
/proc/meminfo: memFree=28206420/32770624 swapFree=67108860/67108860
[pid=23276] ppid=23273 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23276/stat : 23276 (xcsp3-exec) S 23273 23276 21899 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154237339 9740288 346 33554432000 4194304 5098028 140723369110576 140723369108680 140115356189308 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11714560 140723369116788 140723369116992 140723369116992 140723369119723 0
/proc/23276/statm: 2378 346 289 221 0 87 0
[pid=23278] ppid=23276 vsize=13982852 memory=47620 CPUtime=0.51 cores=0,2,4,6
/proc/23278/stat : 23278 (java) S 23276 23276 21899 0 -1 1077944320 8553 0 0 0 48 3 0 0 20 0 15 0 154237339 14318440448 11905 33554432000 4194304 4196468 140729891273552 140729891256096 140007097925367 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
/proc/23278/statm: 3495713 11905 3121 1 0 3482966 0
[pid=23278/tid=23279] ppid=23276 vsize=13982852 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/23278/task/23279/stat : 23279 (java) R 23276 23276 21899 0 -1 4202560 5514 0 0 0 27 2 0 0 20 0 15 0 154237340 14318440448 11905 33554432000 4194304 4196468 140729891273552 140007102163720 140007097947293 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23280] ppid=23276 vsize=13982852 memory=9323 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23280/stat : 23280 (java) S 23276 23276 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154237340 14318440448 11905 33554432000 4194304 4196468 140729891273552 140007012993424 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23281] ppid=23276 vsize=13982852 memory=4192908638979096608 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23281/stat : 23281 (java) S 23276 23276 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154237340 14318440448 11905 33554432000 4194304 4196468 140729891273552 140007011940624 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23282] ppid=23276 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23282/stat : 23282 (java) S 23276 23276 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154237340 14318440448 11905 33554432000 4194304 4196468 140729891273552 140007010888336 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23283] ppid=23276 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23283/stat : 23283 (java) S 23276 23276 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154237340 14318440448 11905 33554432000 4194304 4196468 140729891273552 140007009835536 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23284] ppid=23276 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23284/stat : 23284 (java) S 23276 23276 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154237342 14318440448 11905 33554432000 4194304 4196468 140729891273552 140006572116592 140007097936514 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23285] ppid=23276 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23285/stat : 23285 (java) S 23276 23276 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154237342 14318440448 11905 33554432000 4194304 4196468 140729891273552 140006571062560 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23286] ppid=23276 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23286/stat : 23286 (java) S 23276 23276 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154237342 14318440448 11905 33554432000 4194304 4196468 140729891273552 140006570010224 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23287] ppid=23276 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23287/stat : 23287 (java) S 23276 23276 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154237345 14318440448 11905 33554432000 4194304 4196468 140729891273552 140006568958544 140007097943963 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23288] ppid=23276 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23278/task/23288/stat : 23288 (java) S 23276 23276 21899 0 -1 1077944384 603 0 0 0 2 0 0 0 20 0 15 0 154237345 14318440448 11905 33554432000 4194304 4196468 140729891273552 140006567905392 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23289] ppid=23276 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/23278/task/23289/stat : 23289 (java) S 23276 23276 21899 0 -1 1077944384 240 0 0 0 4 0 0 0 20 0 15 0 154237345 14318440448 11905 33554432000 4194304 4196468 140729891273552 140006566852592 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23290] ppid=23276 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23278/task/23290/stat : 23290 (java) R 23276 23276 21899 0 -1 4202560 896 0 0 0 12 0 0 0 20 0 15 0 154237345 14318440448 11905 33554432000 4194304 4196468 140729891273552 140006565796032 140007076841063 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23291] ppid=23276 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23291/stat : 23291 (java) S 23276 23276 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154237345 14318440448 11905 33554432000 4194304 4196468 140729891273552 140006564747744 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23292] ppid=23276 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23292/stat : 23292 (java) S 23276 23276 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154237345 14318440448 11905 33554432000 4194304 4196468 140729891273552 140006563695536 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49004 KiB
[startup+0.700782 s]
/proc/loadavg: 2.33 1.97 1.73 7/218 23292
/proc/meminfo: memFree=28193464/32770624 swapFree=67108860/67108860
[pid=23276] ppid=23273 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23276/stat : 23276 (xcsp3-exec) S 23273 23276 21899 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154237339 9740288 346 33554432000 4194304 5098028 140723369110576 140723369108680 140115356189308 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11714560 140723369116788 140723369116992 140723369116992 140723369119723 0
/proc/23276/statm: 2378 346 289 221 0 87 0
[pid=23278] ppid=23276 vsize=13984976 memory=69424 CPUtime=1.66 cores=0,2,4,6
/proc/23278/stat : 23278 (java) S 23276 23276 21899 0 -1 1077944320 12664 0 0 0 162 4 0 0 20 0 15 0 154237339 14320615424 17356 33554432000 4194304 4196468 140729891273552 140729891256096 140007097925367 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
/proc/23278/statm: 3496244 17356 3211 1 0 3483478 0
[pid=23278/tid=23279] ppid=23276 vsize=13984976 memory=24604 CPUtime=0.67 cores=0,2,4,6
/proc/23278/task/23279/stat : 23279 (java) R 23276 23276 21899 0 -1 4202560 6134 0 0 0 64 3 0 0 20 0 15 0 154237340 14320615424 17356 33554432000 4194304 4196468 140729891273552 140007102163792 140006693264766 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23280] ppid=23276 vsize=13984976 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23280/stat : 23280 (java) S 23276 23276 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154237340 14320615424 17356 33554432000 4194304 4196468 140729891273552 140007012993424 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23281] ppid=23276 vsize=13984976 memory=648 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23281/stat : 23281 (java) S 23276 23276 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154237340 14320615424 17356 33554432000 4194304 4196468 140729891273552 140007011940624 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23282] ppid=23276 vsize=13984976 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23282/stat : 23282 (java) S 23276 23276 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154237340 14320615424 17356 33554432000 4194304 4196468 140729891273552 140007010888336 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23283] ppid=23276 vsize=13984976 memory=956 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23283/stat : 23283 (java) S 23276 23276 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154237340 14320615424 17356 33554432000 4194304 4196468 140729891273552 140007009835536 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23284] ppid=23276 vsize=13984976 memory=2468 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23284/stat : 23284 (java) S 23276 23276 21899 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154237342 14320615424 17356 33554432000 4194304 4196468 140729891273552 140006572116592 140007097936514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23285] ppid=23276 vsize=13984976 memory=928 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23285/stat : 23285 (java) S 23276 23276 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154237342 14320615424 17356 33554432000 4194304 4196468 140729891273552 140006571062560 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23286] ppid=23276 vsize=13984976 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23286/stat : 23286 (java) S 23276 23276 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154237342 14320615424 17356 33554432000 4194304 4196468 140729891273552 140006570010224 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23287] ppid=23276 vsize=13984976 memory=2236 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23287/stat : 23287 (java) S 23276 23276 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154237345 14320615424 17356 33554432000 4194304 4196468 140729891273552 140006568958544 140007097943963 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23288] ppid=23276 vsize=13984976 memory=4316 CPUtime=0.31 cores=0,2,4,6
/proc/23278/task/23288/stat : 23288 (java) R 23276 23276 21899 0 -1 4202560 1736 0 0 0 31 0 0 0 20 0 15 0 154237345 14320615424 17356 33554432000 4194304 4196468 140729891273552 140006567898024 140007077587360 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23289] ppid=23276 vsize=13984976 memory=2196 CPUtime=0.33 cores=0,2,4,6
/proc/23278/task/23289/stat : 23289 (java) R 23276 23276 21899 0 -1 4202560 1780 0 0 0 33 0 0 0 20 0 15 0 154237345 14320615424 17356 33554432000 4194304 4196468 140729891273552 140006566837256 140007079469594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23290] ppid=23276 vsize=13984976 memory=7784 CPUtime=0.32 cores=0,2,4,6
/proc/23278/task/23290/stat : 23290 (java) S 23276 23276 21899 0 -1 1077944384 1708 0 0 0 32 0 0 0 20 0 15 0 154237345 14320615424 17356 33554432000 4194304 4196468 140729891273552 140006565800304 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23291] ppid=23276 vsize=13984976 memory=832 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23291/stat : 23291 (java) S 23276 23276 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154237345 14320615424 17356 33554432000 4194304 4196468 140729891273552 140006564747744 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23292] ppid=23276 vsize=13984976 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23292/stat : 23292 (java) S 23276 23276 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154237345 14320615424 17356 33554432000 4194304 4196468 140729891273552 140006563695536 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 70808 KiB
[startup+1.50082 s]
/proc/loadavg: 2.33 1.97 1.73 5/218 23292
/proc/meminfo: memFree=28180816/32770624 swapFree=67108860/67108860
[pid=23276] ppid=23273 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23276/stat : 23276 (xcsp3-exec) S 23273 23276 21899 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154237339 9740288 346 33554432000 4194304 5098028 140723369110576 140723369108680 140115356189308 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11714560 140723369116788 140723369116992 140723369116992 140723369119723 0
/proc/23276/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/23278/task/23286/stat : 23286 (java) S 23276 23276 21899 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154237342 14320615424 47902 33554432000 4194304 4196468 140729891273552 140006570010224 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23287] ppid=23276 vsize=13984976 memory=7739835543619911780 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23287/stat : 23287 (java) S 23276 23276 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154237345 14320615424 47902 33554432000 4194304 4196468 140729891273552 140006568958544 140007097943963 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23288] ppid=23276 vsize=13984976 memory=4136 CPUtime=1.9 cores=0,2,4,6
/proc/23278/task/23288/stat : 23288 (java) S 23276 23276 21899 0 -1 1077944384 10522 0 0 0 189 1 0 0 20 0 15 0 154237345 14320615424 47902 33554432000 4194304 4196468 140729891273552 140006567905392 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23289] ppid=23276 vsize=13984976 memory=42872 CPUtime=2 cores=0,2,4,6
/proc/23278/task/23289/stat : 23289 (java) S 23276 23276 21899 0 -1 1077944384 10070 0 0 0 199 1 0 0 20 0 15 0 154237345 14320615424 47902 33554432000 4194304 4196468 140729891273552 140006566852592 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23290] ppid=23276 vsize=13984976 memory=1296 CPUtime=0.47 cores=0,2,4,6
/proc/23278/task/23290/stat : 23290 (java) S 23276 23276 21899 0 -1 1077944384 5245 0 0 0 46 1 0 0 20 0 15 0 154237345 14320615424 47902 33554432000 4194304 4196468 140729891273552 140006565800304 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23291] ppid=23276 vsize=13984976 memory=42872 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23291/stat : 23291 (java) S 23276 23276 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154237345 14320615424 47902 33554432000 4194304 4196468 140729891273552 140006564747744 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23292] ppid=23276 vsize=13984976 memory=1296 CPUtime=0.02 cores=0,2,4,6
/proc/23278/task/23292/stat : 23292 (java) S 23276 23276 21899 0 -1 1077944384 805 0 0 0 1 1 0 0 20 0 15 0 154237345 14320615424 47902 33554432000 4194304 4196468 140729891273552 140006563695536 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
Current children cumulated CPU time: 106.76 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 192992 KiB
[startup+162.301 s]
/proc/loadavg: 2.04 1.97 1.77 3/218 23294
/proc/meminfo: memFree=27949612/32770624 swapFree=67108860/67108860
[pid=23276] ppid=23273 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23276/stat : 23276 (xcsp3-exec) S 23273 23276 21899 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154237339 9740288 346 33554432000 4194304 5098028 140723369110576 140723369108680 140115356189308 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11714560 140723369116788 140723369116992 140723369116992 140723369119723 0
/proc/23276/statm: 2378 346 289 221 0 87 0
[pid=23278] ppid=23276 vsize=13984976 memory=176236 CPUtime=166.84 cores=0,2,4,6
/proc/23278/stat : 23278 (java) S 23276 23276 21899 0 -1 1077944320 46581 0 0 0 16671 13 0 0 20 0 15 0 154237339 14320615424 44059 33554432000 4194304 4196468 140729891273552 140729891256096 140007097925367 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
/proc/23278/statm: 3496244 44059 3264 1 0 3483478 0
[pid=23278/tid=23279] ppid=23276 vsize=13984976 memory=176236 CPUtime=162.18 cores=0,2,4,6
/proc/23278/task/23279/stat : 23279 (java) R 23276 23276 21899 0 -1 4202560 11401 0 0 0 16213 5 0 0 20 0 15 0 154237340 14320615424 44059 33554432000 4194304 4196468 140729891273552 140007102164640 140006693447338 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23280] ppid=23276 vsize=13984976 memory=176740 CPUtime=0.02 cores=0,2,4,6
/proc/23278/task/23280/stat : 23280 (java) S 23276 23276 21899 0 -1 1077944384 1493 0 0 0 2 0 0 0 20 0 15 0 154237340 14320615424 44059 33554432000 4194304 4196468 140729891273552 140007012993424 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23281] ppid=23276 vsize=13984976 memory=177256 CPUtime=0.02 cores=0,2,4,6
/proc/23278/task/23281/stat : 23281 (java) S 23276 23276 21899 0 -1 1077944384 586 0 0 0 2 0 0 0 20 0 15 0 154237340 14320615424 44059 33554432000 4194304 4196468 140729891273552 140007011940624 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23282] ppid=23276 vsize=13984976 memory=176748 CPUtime=0.02 cores=0,2,4,6
/proc/23278/task/23282/stat : 23282 (java) S 23276 23276 21899 0 -1 1077944384 945 0 0 0 2 0 0 0 20 0 15 0 154237340 14320615424 44059 33554432000 4194304 4196468 140729891273552 140007010888336 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23283] ppid=23276 vsize=13984976 memory=176748 CPUtime=0.03 cores=0,2,4,6
/proc/23278/task/23283/stat : 23283 (java) S 23276 23276 21899 0 -1 1077944384 915 0 0 0 3 0 0 0 20 0 15 0 154237340 14320615424 44059 33554432000 4194304 4196468 140729891273552 140007009835536 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23284] ppid=23276 vsize=13984976 memory=176236 CPUtime=0.03 cores=0,2,4,6
/proc/23278/task/23284/stat : 23284 (java) S 23276 23276 21899 0 -1 1077944384 1469 0 0 0 3 0 0 0 20 0 15 0 154237342 14320615424 44059 33554432000 4194304 4196468 140729891273552 140006572116592 140007097936514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23285] ppid=23276 vsize=13984976 memory=176236 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23285/stat : 23285 (java) S 23276 23276 21899 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 154237342 14320615424 44059 33554432000 4194304 4196468 140729891273552 140006571062560 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23286] ppid=23276 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23286/stat : 23286 (java) S 23276 23276 21899 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154237342 14320615424 44059 33554432000 4194304 4196468 140729891273552 140006570010224 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23287] ppid=23276 vsize=13984976 memory=176236 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23287/stat : 23287 (java) S 23276 23276 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154237345 14320615424 44059 33554432000 4194304 4196468 140729891273552 140006568958544 140007097943963 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23288] ppid=23276 vsize=13984976 memory=1384 CPUtime=1.93 cores=0,2,4,6
/proc/23278/task/23288/stat : 23288 (java) S 23276 23276 21899 0 -1 1077944384 11565 0 0 0 191 2 0 0 20 0 15 0 154237345 14320615424 44059 33554432000 4194304 4196468 140729891273552 140006567905392 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23289] ppid=23276 vsize=13984976 memory=928 CPUtime=2 cores=0,2,4,6
/proc/23278/task/23289/stat : 23289 (java) S 23276 23276 21899 0 -1 1077944384 10434 0 0 0 199 1 0 0 20 0 15 0 154237345 14320615424 44059 33554432000 4194304 4196468 140729891273552 140006566852592 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23290] ppid=23276 vsize=13984976 memory=1384 CPUtime=0.47 cores=0,2,4,6
/proc/23278/task/23290/stat : 23290 (java) S 23276 23276 21899 0 -1 1077944384 5572 0 0 0 46 1 0 0 20 0 15 0 154237345 14320615424 44059 33554432000 4194304 4196468 140729891273552 140006565800304 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23291] ppid=23276 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23291/stat : 23291 (java) S 23276 23276 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154237345 14320615424 44059 33554432000 4194304 4196468 140729891273552 140006564747744 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23292] ppid=23276 vsize=13984976 memory=6791534058613427641 CPUtime=0.04 cores=0,2,4,6
/proc/23278/task/23292/stat : 23292 (java) S 23276 23276 21899 0 -1 1077944384 838 0 0 0 2 2 0 0 20 0 15 0 154237345 14320615424 44059 33554432000 4194304 4196468 140729891273552 140006563695536 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
Current children cumulated CPU time: 166.84 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 177620 KiB
[startup+222.301 s]
/proc/loadavg: 1.68 1.89 1.76 3/218 23295
/proc/meminfo: memFree=27947536/32770624 swapFree=67108860/67108860
[pid=23276] ppid=23273 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23276/stat : 23276 (xcsp3-exec) S 23273 23276 21899 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154237339 9740288 346 33554432000 4194304 5098028 140723369110576 140723369108680 140115356189308 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11714560 140723369116788 140723369116992 140723369116992 140723369119723 0
/proc/23276/statm: 2378 346 289 221 0 87 0
[pid=23278] ppid=23276 vsize=13984976 memory=178332 CPUtime=226.94 cores=0,2,4,6
/proc/23278/stat : 23278 (java) S 23276 23276 21899 0 -1 1077944320 49407 0 0 0 22679 15 0 0 20 0 15 0 154237339 14320615424 44583 33554432000 4194304 4196468 140729891273552 140729891256096 140007097925367 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
/proc/23278/statm: 3496244 44583 3264 1 0 3483478 0
[pid=23278/tid=23279] ppid=23276 vsize=13984976 memory=178332 CPUtime=222.1 cores=0,2,4,6
/proc/23278/task/23279/stat : 23279 (java) R 23276 23276 21899 0 -1 4202560 11984 0 0 0 22205 5 0 0 20 0 15 0 154237340 14320615424 44583 33554432000 4194304 4196468 140729891273552 140007102164640 140006693898582 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23280] ppid=23276 vsize=13984976 memory=178332 CPUtime=0.04 cores=0,2,4,6
/proc/23278/task/23280/stat : 23280 (java) S 23276 23276 21899 0 -1 1077944384 1507 0 0 0 4 0 0 0 20 0 15 0 154237340 14320615424 44583 33554432000 4194304 4196468 140729891273552 140007012993424 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23281] ppid=23276 vsize=13984976 memory=178332 CPUtime=0.05 cores=0,2,4,6
/proc/23278/task/23281/stat : 23281 (java) S 23276 23276 21899 0 -1 1077944384 636 0 0 0 4 1 0 0 20 0 15 0 154237340 14320615424 44583 33554432000 4194304 4196468 140729891273552 140007011940624 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23282] ppid=23276 vsize=13984976 memory=1384 CPUtime=0.05 cores=0,2,4,6
/proc/23278/task/23282/stat : 23282 (java) S 23276 23276 21899 0 -1 1077944384 972 0 0 0 5 0 0 0 20 0 15 0 154237340 14320615424 44583 33554432000 4194304 4196468 140729891273552 140007010888336 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23283] ppid=23276 vsize=13984976 memory=178332 CPUtime=0.05 cores=0,2,4,6
/proc/23278/task/23283/stat : 23283 (java) S 23276 23276 21899 0 -1 1077944384 1341 0 0 0 5 0 0 0 20 0 15 0 154237340 14320615424 44583 33554432000 4194304 4196468 140729891273552 140007009835536 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23284] ppid=23276 vsize=13984976 memory=178332 CPUtime=0.07 cores=0,2,4,6
/proc/23278/task/23284/stat : 23284 (java) S 23276 23276 21899 0 -1 1077944384 1707 0 0 0 6 1 0 0 20 0 15 0 154237342 14320615424 44583 33554432000 4194304 4196468 140729891273552 140006572116592 140007097936514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23285] ppid=23276 vsize=13984976 memory=178332 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23285/stat : 23285 (java) S 23276 23276 21899 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 154237342 14320615424 44583 33554432000 4194304 4196468 140729891273552 140006571062560 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23286] ppid=23276 vsize=13984976 memory=8608 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23286/stat : 23286 (java) S 23276 23276 21899 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154237342 14320615424 44583 33554432000 4194304 4196468 140729891273552 140006570010224 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23287] ppid=23276 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23287/stat : 23287 (java) S 23276 23276 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154237345 14320615424 44583 33554432000 4194304 4196468 140729891273552 140006568958544 140007097943963 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23288] ppid=23276 vsize=13984976 memory=1384 CPUtime=1.97 cores=0,2,4,6
/proc/23278/task/23288/stat : 23288 (java) S 23276 23276 21899 0 -1 1077944384 12960 0 0 0 195 2 0 0 20 0 15 0 154237345 14320615424 44583 33554432000 4194304 4196468 140729891273552 140006567905392 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23289] ppid=23276 vsize=13984976 memory=178332 CPUtime=2 cores=0,2,4,6
/proc/23278/task/23289/stat : 23289 (java) S 23276 23276 21899 0 -1 1077944384 10436 0 0 0 199 1 0 0 20 0 15 0 154237345 14320615424 44583 33554432000 4194304 4196468 140729891273552 140006566852592 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23290] ppid=23276 vsize=13984976 memory=648 CPUtime=0.48 cores=0,2,4,6
/proc/23278/task/23290/stat : 23290 (java) S 23276 23276 21899 0 -1 1077944384 5638 0 0 0 47 1 0 0 20 0 15 0 154237345 14320615424 44583 33554432000 4194304 4196468 140729891273552 140006565800304 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23291] ppid=23276 vsize=13984976 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23291/stat : 23291 (java) S 23276 23276 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154237345 14320615424 44583 33554432000 4194304 4196468 140729891273552 140006564747744 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23292] ppid=23276 vsize=13984976 memory=1384 CPUtime=0.06 cores=0,2,4,6
/proc/23278/task/23292/stat : 23292 (java) S 23276 23276 21899 0 -1 1077944384 863 0 0 0 3 3 0 0 20 0 15 0 154237345 14320615424 44583 33554432000 4194304 4196468 140729891273552 140006563695536 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
Current children cumulated CPU time: 226.94 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 179716 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.60 1.86 1.75 3/218 23376
/proc/meminfo: memFree=27944664/32770624 swapFree=67108860/67108860
[pid=23276] ppid=23273 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23276/stat : 23276 (xcsp3-exec) S 23273 23276 21899 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154237339 9740288 346 33554432000 4194304 5098028 140723369110576 140723369108680 140115356189308 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11714560 140723369116788 140723369116992 140723369116992 140723369119723 0
/proc/23276/statm: 2378 346 289 221 0 87 0
[pid=23278] ppid=23276 vsize=13984976 memory=178336 CPUtime=244.68 cores=0,2,4,6
/proc/23278/stat : 23278 (java) S 23276 23276 21899 0 -1 1077944320 49843 0 0 0 24452 16 0 0 20 0 15 0 154237339 14320615424 44584 33554432000 4194304 4196468 140729891273552 140729891256096 140007097925367 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
/proc/23278/statm: 3496244 44584 3264 1 0 3483478 0
[pid=23278/tid=23279] ppid=23276 vsize=13984976 memory=6791534058613427641 CPUtime=239.79 cores=0,2,4,6
/proc/23278/task/23279/stat : 23279 (java) R 23276 23276 21899 0 -1 4202560 12004 0 0 0 23973 6 0 0 20 0 15 0 154237340 14320615424 44584 33554432000 4194304 4196468 140729891273552 140007102165024 140006694267412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23280] ppid=23276 vsize=13984976 memory=4872558044660077418 CPUtime=0.05 cores=0,2,4,6
/proc/23278/task/23280/stat : 23280 (java) S 23276 23276 21899 0 -1 1077944384 1510 0 0 0 5 0 0 0 20 0 15 0 154237340 14320615424 44584 33554432000 4194304 4196468 140729891273552 140007012993424 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23281] ppid=23276 vsize=13984976 memory=16236 CPUtime=0.06 cores=0,2,4,6
/proc/23278/task/23281/stat : 23281 (java) S 23276 23276 21899 0 -1 1077944384 639 0 0 0 5 1 0 0 20 0 15 0 154237340 14320615424 44584 33554432000 4194304 4196468 140729891273552 140007011940624 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23282] ppid=23276 vsize=13984976 memory=4044 CPUtime=0.06 cores=0,2,4,6
/proc/23278/task/23282/stat : 23282 (java) S 23276 23276 21899 0 -1 1077944384 973 0 0 0 5 1 0 0 20 0 15 0 154237340 14320615424 44584 33554432000 4194304 4196468 140729891273552 140007010888336 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23283] ppid=23276 vsize=13984976 memory=24604 CPUtime=0.05 cores=0,2,4,6
/proc/23278/task/23283/stat : 23283 (java) S 23276 23276 21899 0 -1 1077944384 1343 0 0 0 5 0 0 0 20 0 15 0 154237340 14320615424 44584 33554432000 4194304 4196468 140729891273552 140007009835536 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23284] ppid=23276 vsize=13984976 memory=1384 CPUtime=0.08 cores=0,2,4,6
/proc/23278/task/23284/stat : 23284 (java) S 23276 23276 21899 0 -1 1077944384 1707 0 0 0 7 1 0 0 20 0 15 0 154237342 14320615424 44584 33554432000 4194304 4196468 140729891273552 140006572116592 140007097936514 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23285] ppid=23276 vsize=13984976 memory=178336 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23285/stat : 23285 (java) S 23276 23276 21899 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 154237342 14320615424 44584 33554432000 4194304 4196468 140729891273552 140006571062560 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23286] ppid=23276 vsize=13984976 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23286/stat : 23286 (java) S 23276 23276 21899 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154237342 14320615424 44584 33554432000 4194304 4196468 140729891273552 140006570010224 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23287] ppid=23276 vsize=13984976 memory=11104 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23287/stat : 23287 (java) S 23276 23276 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154237345 14320615424 44584 33554432000 4194304 4196468 140729891273552 140006568958544 140007097943963 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23288] ppid=23276 vsize=13984976 memory=178332 CPUtime=1.97 cores=0,2,4,6
/proc/23278/task/23288/stat : 23288 (java) S 23276 23276 21899 0 -1 1077944384 12960 0 0 0 195 2 0 0 20 0 15 0 154237345 14320615424 44584 33554432000 4194304 4196468 140729891273552 140006567905392 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23289] ppid=23276 vsize=13984976 memory=1724 CPUtime=2 cores=0,2,4,6
/proc/23278/task/23289/stat : 23289 (java) S 23276 23276 21899 0 -1 1077944384 10588 0 0 0 199 1 0 0 20 0 15 0 154237345 14320615424 44584 33554432000 4194304 4196468 140729891273552 140006566852592 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23290] ppid=23276 vsize=13984976 memory=11104 CPUtime=0.48 cores=0,2,4,6
/proc/23278/task/23290/stat : 23290 (java) S 23276 23276 21899 0 -1 1077944384 5893 0 0 0 47 1 0 0 20 0 15 0 154237345 14320615424 44584 33554432000 4194304 4196468 140729891273552 140006565800304 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23291] ppid=23276 vsize=13984976 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/23278/task/23291/stat : 23291 (java) S 23276 23276 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154237345 14320615424 44584 33554432000 4194304 4196468 140729891273552 140006564747744 140007097935573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
[pid=23278/tid=23292] ppid=23276 vsize=13984976 memory=5792 CPUtime=0.06 cores=0,2,4,6
/proc/23278/task/23292/stat : 23292 (java) S 23276 23276 21899 0 -1 1077944384 863 0 0 0 3 3 0 0 20 0 15 0 154237345 14320615424 44584 33554432000 4194304 4196468 140729891273552 140006563695536 140007097936514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 23277568 140729891275933 140729891276108 140729891276108 140729891278799 0
Current children cumulated CPU time: 244.68 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 179720 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 23276 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002101 s, system=0 s
[startup+240.022 s]
# the end of solver process 23278 was just reported to runsolver
# cumulated CPU time of all completed processes: user=244.539 s, system=0.171142 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.022
CPU time (s): 244.71
CPU user time (s): 244.539
CPU system time (s): 0.171142
CPU usage (%): 101.953
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 206288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.539
system time used= 0.171142
maximum resident set size= 206952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50705
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9070
involuntary context switches= 464
# summary of solver processes directly reported to runsolver:
# pid: 23276,23278
# total CPU time (s): 244.71
# total CPU user time (s): 244.539
# total CPU system time (s): 0.171142
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.33048 second user time and 2.31004 second system time
The end