runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4248662-1502063142/watcher-4248662-1502063142 -o /tmp/evaluation-result-4248662-1502063142/solver-4248662-1502063142 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31899 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 510881716 HOME/instance-4248662-1502063142.xml
pid=13449
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 6.75 6.48 6.86 5/207 13452
/proc/meminfo: memFree=29078340/32770624 swapFree=0/331712
[pid=13452] ppid=13449 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/13452/stat : 13452 (runsolver) D 13449 13452 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 54129508 24240128 106 18446744073709551615 4194304 4338465 140721926957648 140721926955288 140653236441815 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 9318400 140721926963287 140721926963785 140721926963785 140721926967242 0
/proc/13452/statm: 5918 106 53 36 0 2156 0
[startup+0.10012 s]
/proc/loadavg: 6.75 6.48 6.86 5/207 13452
/proc/meminfo: memFree=29078340/32770624 swapFree=0/331712
[pid=13452] ppid=13449 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13452/stat : 13452 (xcsp3-exec) S 13449 13452 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54129508 9740288 344 18446744073709551615 4194304 5098028 140735820066096 140735820064200 140051959779964 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 18386944 140735820067225 140735820067434 140735820067434 140735820070891 0
/proc/13452/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200348 s]
/proc/loadavg: 6.75 6.48 6.86 5/207 13452
/proc/meminfo: memFree=29078340/32770624 swapFree=0/331712
[pid=13452] ppid=13449 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13452/stat : 13452 (xcsp3-exec) S 13449 13452 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54129508 9740288 344 18446744073709551615 4194304 5098028 140735820066096 140735820064200 140051959779964 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 18386944 140735820067225 140735820067434 140735820067434 140735820070891 0
/proc/13452/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.301728 s]
/proc/loadavg: 6.75 6.48 6.86 5/207 13452
/proc/meminfo: memFree=29078340/32770624 swapFree=0/331712
[pid=13452] ppid=13449 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13452/stat : 13452 (xcsp3-exec) S 13449 13452 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54129508 9740288 344 18446744073709551615 4194304 5098028 140735820066096 140735820064200 140051959779964 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 18386944 140735820067225 140735820067434 140735820067434 140735820070891 0
/proc/13452/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700871 s]
/proc/loadavg: 6.75 6.48 6.86 5/207 13452
/proc/meminfo: memFree=29078340/32770624 swapFree=0/331712
[pid=13452] ppid=13449 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13452/stat : 13452 (xcsp3-exec) S 13449 13452 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54129508 9740288 344 18446744073709551615 4194304 5098028 140735820066096 140735820064200 140051959779964 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 18386944 140735820067225 140735820067434 140735820067434 140735820070891 0
/proc/13452/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50081 s]
/proc/loadavg: 6.75 6.48 6.86 4/223 13468
/proc/meminfo: memFree=28898984/32770624 swapFree=0/331744
[pid=13452] ppid=13449 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13452/stat : 13452 (xcsp3-exec) S 13449 13452 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54129508 9740288 344 18446744073709551615 4194304 5098028 140735820066096 140735820064200 140051959779964 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 18386944 140735820067225 140735820067434 140735820067434 140735820070891 0
/proc/13452/statm: 2378 344 289 221 0 87 0
[pid=13454] ppid=13452 vsize=12919328 CPUtime=3.86 cores=1,3,5,7
/proc/13454/stat : 13454 (java) S 13452 13452 25100 0 -1 1077944320 18095 0 0 0 376 10 0 0 20 0 15 0 54129516 13229391872 55411 18446744073709551615 4194304 4196468 140727984469104 140727984451648 139969968389879 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
/proc/13454/statm: 3229832 55411 3205 1 0 3218124 0
[pid=13454/tid=13455] ppid=13452 vsize=12919328 CPUtime=1.3 cores=1,3,5,7
/proc/13454/task/13455/stat : 13455 (java) S 13452 13452 25100 0 -1 1077944384 8773 0 0 0 126 4 0 0 20 0 15 0 54129517 13229391872 55411 18446744073709551615 4194304 4196468 140727984469104 139969972626224 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13456] ppid=13452 vsize=12919328 CPUtime=0.01 cores=1,3,5,7
/proc/13454/task/13456/stat : 13456 (java) R 13452 13452 25100 0 -1 4202560 54 0 0 0 1 0 0 0 20 0 15 0 54129517 13229391872 55411 18446744073709551615 4194304 4196468 140727984469104 139969904871712 139969953417753 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13457] ppid=13452 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13457/stat : 13457 (java) R 13452 13452 25100 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 15 0 54129517 13229391872 55411 18446744073709551615 4194304 4196468 140727984469104 139969903819024 139969952838171 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13458] ppid=13452 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13458/stat : 13458 (java) R 13452 13452 25100 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 15 0 54129517 13229391872 55411 18446744073709551615 4194304 4196468 140727984469104 139969902766736 139969952838171 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13459] ppid=13452 vsize=12919328 CPUtime=0.01 cores=1,3,5,7
/proc/13454/task/13459/stat : 13459 (java) R 13452 13452 25100 0 -1 4202560 84 0 0 0 1 0 0 0 20 0 15 0 54129517 13229391872 55411 18446744073709551615 4194304 4196468 140727984469104 139969901714136 139969952838094 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13460] ppid=13452 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13460/stat : 13460 (java) S 13452 13452 25100 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 54129519 13229391872 55411 18446744073709551615 4194304 4196468 140727984469104 139969451955360 139969968400085 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13461] ppid=13452 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13461/stat : 13461 (java) S 13452 13452 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 54129519 13229391872 55411 18446744073709551615 4194304 4196468 140727984469104 139969450902816 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13462] ppid=13452 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13462/stat : 13462 (java) S 13452 13452 25100 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 54129519 13229391872 55411 18446744073709551615 4194304 4196468 140727984469104 139969449850480 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13463] ppid=13452 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13463/stat : 13463 (java) S 13452 13452 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54129522 13229391872 55411 18446744073709551615 4194304 4196468 140727984469104 139969448798800 139969968408475 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13464] ppid=13452 vsize=12919328 CPUtime=0.98 cores=1,3,5,7
/proc/13454/task/13464/stat : 13464 (java) R 13452 13452 25100 0 -1 4202560 2629 0 0 0 97 1 0 0 20 0 15 0 54129522 13229391872 55411 18446744073709551615 4194304 4196468 140727984469104 139969447731872 139969953288137 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13465] ppid=13452 vsize=12919328 CPUtime=0.98 cores=1,3,5,7
/proc/13454/task/13465/stat : 13465 (java) R 13452 13452 25100 0 -1 4202560 2989 0 0 0 98 0 0 0 20 0 15 0 54129522 13229391872 55411 18446744073709551615 4194304 4196468 140727984469104 139969446678904 139969951886667 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13466] ppid=13452 vsize=12919328 CPUtime=0.47 cores=1,3,5,7
/proc/13454/task/13466/stat : 13466 (java) S 13452 13452 25100 0 -1 1077944384 2152 0 0 0 47 0 0 0 20 0 15 0 54129522 13229391872 55411 18446744073709551615 4194304 4196468 140727984469104 139969445640560 139969968401026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13467] ppid=13452 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13467/stat : 13467 (java) S 13452 13452 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54129522 13229391872 55411 18446744073709551615 4194304 4196468 140727984469104 139969444588000 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13468] ppid=13452 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13468/stat : 13468 (java) S 13452 13452 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 54129529 13229391872 55411 18446744073709551615 4194304 4196468 140727984469104 139969443535792 139969968401026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 12928840
[startup+3.10169 s]
/proc/loadavg: 6.75 6.48 6.86 6/223 13468
/proc/meminfo: memFree=28682592/32770624 swapFree=0/331744
[pid=13452] ppid=13449 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13452/stat : 13452 (xcsp3-exec) S 13449 13452 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54129508 9740288 344 18446744073709551615 4194304 5098028 140735820066096 140735820064200 140051959779964 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 18386944 140735820067225 140735820067434 140735820067434 140735820070891 0
/proc/13452/statm: 2378 344 289 221 0 87 0
[pid=13454] ppid=13452 vsize=13185584 CPUtime=8.96 cores=1,3,5,7
/proc/13454/stat : 13454 (java) S 13452 13452 25100 0 -1 1077944320 22586 0 0 0 872 24 0 0 20 0 19 0 54129516 13502038016 119124 18446744073709551615 4194304 4196468 140727984469104 140727984451648 139969968389879 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
/proc/13454/statm: 3296396 119124 3231 1 0 3284688 0
[pid=13454/tid=13455] ppid=13452 vsize=13185584 CPUtime=2.61 cores=1,3,5,7
/proc/13454/task/13455/stat : 13455 (java) S 13452 13452 25100 0 -1 1077944384 9130 0 0 0 254 7 0 0 20 0 19 0 54129517 13502038016 119124 18446744073709551615 4194304 4196468 140727984469104 139969972630656 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13456] ppid=13452 vsize=13185584 CPUtime=0.13 cores=1,3,5,7
/proc/13454/task/13456/stat : 13456 (java) S 13452 13452 25100 0 -1 1077944384 154 0 0 0 10 3 0 0 20 0 19 0 54129517 13502038016 119124 18446744073709551615 4194304 4196468 140727984469104 139969904871824 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13457] ppid=13452 vsize=13185584 CPUtime=0.15 cores=1,3,5,7
/proc/13454/task/13457/stat : 13457 (java) S 13452 13452 25100 0 -1 1077944384 244 0 0 0 13 2 0 0 20 0 19 0 54129517 13502038016 119124 18446744073709551615 4194304 4196468 140727984469104 139969903819024 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13458] ppid=13452 vsize=13185584 CPUtime=0.12 cores=1,3,5,7
/proc/13454/task/13458/stat : 13458 (java) S 13452 13452 25100 0 -1 1077944384 143 0 0 0 9 3 0 0 20 0 19 0 54129517 13502038016 119124 18446744073709551615 4194304 4196468 140727984469104 139969902766736 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13459] ppid=13452 vsize=13185584 CPUtime=0.15 cores=1,3,5,7
/proc/13454/task/13459/stat : 13459 (java) S 13452 13452 25100 0 -1 1077944384 163 0 0 0 12 3 0 0 20 0 19 0 54129517 13502038016 119124 18446744073709551615 4194304 4196468 140727984469104 139969901713936 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13460] ppid=13452 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13460/stat : 13460 (java) S 13452 13452 25100 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 19 0 54129519 13502038016 119124 18446744073709551615 4194304 4196468 140727984469104 139969451956848 139969968401026 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13461] ppid=13452 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13461/stat : 13461 (java) S 13452 13452 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 54129519 13502038016 119124 18446744073709551615 4194304 4196468 140727984469104 139969450902880 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13462] ppid=13452 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13462/stat : 13462 (java) S 13452 13452 25100 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 54129519 13502038016 119124 18446744073709551615 4194304 4196468 140727984469104 139969449850480 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13463] ppid=13452 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13463/stat : 13463 (java) S 13452 13452 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54129522 13502038016 119124 18446744073709551615 4194304 4196468 140727984469104 139969448798800 139969968408475 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13464] ppid=13452 vsize=13185584 CPUtime=2.36 cores=1,3,5,7
/proc/13454/task/13464/stat : 13464 (java) R 13452 13452 25100 0 -1 4202560 3625 0 0 0 235 1 0 0 20 0 19 0 54129522 13502038016 119124 18446744073709551615 4194304 4196468 140727984469104 139969447725848 139969968401814 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13465] ppid=13452 vsize=13185584 CPUtime=2.44 cores=1,3,5,7
/proc/13454/task/13465/stat : 13465 (java) R 13452 13452 25100 0 -1 4202560 4939 0 0 0 243 1 0 0 20 0 19 0 54129522 13502038016 119124 18446744073709551615 4194304 4196468 140727984469104 139969446681840 139969953140143 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13466] ppid=13452 vsize=13185584 CPUtime=0.64 cores=1,3,5,7
/proc/13454/task/13466/stat : 13466 (java) R 13452 13452 25100 0 -1 1077944384 2522 0 0 0 64 0 0 0 20 0 19 0 54129522 13502038016 119124 18446744073709551615 4194304 4196468 140727984469104 139969445640368 139969968400085 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13467] ppid=13452 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13467/stat : 13467 (java) S 13452 13452 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54129522 13502038016 119124 18446744073709551615 4194304 4196468 140727984469104 139969444588000 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13468] ppid=13452 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13468/stat : 13468 (java) S 13452 13452 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 54129529 13502038016 119124 18446744073709551615 4194304 4196468 140727984469104 139969443535792 139969968401026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
Current children cumulated CPU time (s) 8.96
Current children cumulated vsize (KiB) 13195096
[startup+6.30085 s]
/proc/loadavg: 6.93 6.52 6.87 7/226 13472
/proc/meminfo: memFree=28405632/32770624 swapFree=0/331744
[pid=13452] ppid=13449 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13452/stat : 13452 (xcsp3-exec) S 13449 13452 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54129508 9740288 344 18446744073709551615 4194304 5098028 140735820066096 140735820064200 140051959779964 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 18386944 140735820067225 140735820067434 140735820067434 140735820070891 0
/proc/13452/statm: 2378 344 289 221 0 87 0
[pid=13454] ppid=13452 vsize=13185584 CPUtime=21.54 cores=1,3,5,7
/proc/13454/stat : 13454 (java) S 13452 13452 25100 0 -1 1077944320 30363 0 0 0 2118 36 0 0 20 0 19 0 54129516 13502038016 192627 18446744073709551615 4194304 4196468 140727984469104 140727984451648 139969968389879 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
/proc/13454/statm: 3296396 192627 3251 1 0 3284688 0
[pid=13454/tid=13455] ppid=13452 vsize=13185584 CPUtime=2.61 cores=1,3,5,7
/proc/13454/task/13455/stat : 13455 (java) S 13452 13452 25100 0 -1 1077944384 9130 0 0 0 254 7 0 0 20 0 19 0 54129517 13502038016 192627 18446744073709551615 4194304 4196468 140727984469104 139969972630656 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13456] ppid=13452 vsize=13185584 CPUtime=0.2 cores=1,3,5,7
/proc/13454/task/13456/stat : 13456 (java) S 13452 13452 25100 0 -1 1077944384 277 0 0 0 15 5 0 0 20 0 19 0 54129517 13502038016 192627 18446744073709551615 4194304 4196468 140727984469104 139969904871824 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13457] ppid=13452 vsize=13185584 CPUtime=0.23 cores=1,3,5,7
/proc/13454/task/13457/stat : 13457 (java) S 13452 13452 25100 0 -1 1077944384 445 0 0 0 19 4 0 0 20 0 19 0 54129517 13502038016 192627 18446744073709551615 4194304 4196468 140727984469104 139969903819024 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13458] ppid=13452 vsize=13185584 CPUtime=0.2 cores=1,3,5,7
/proc/13454/task/13458/stat : 13458 (java) S 13452 13452 25100 0 -1 1077944384 277 0 0 0 15 5 0 0 20 0 19 0 54129517 13502038016 192627 18446744073709551615 4194304 4196468 140727984469104 139969902766736 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13459] ppid=13452 vsize=13185584 CPUtime=0.23 cores=1,3,5,7
/proc/13454/task/13459/stat : 13459 (java) S 13452 13452 25100 0 -1 1077944384 1503 0 0 0 18 5 0 0 20 0 19 0 54129517 13502038016 192627 18446744073709551615 4194304 4196468 140727984469104 139969901713936 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13460] ppid=13452 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/13454/task/13460/stat : 13460 (java) S 13452 13452 25100 0 -1 1077944384 730 0 0 0 1 0 0 0 20 0 19 0 54129519 13502038016 192627 18446744073709551615 4194304 4196468 140727984469104 139969451956848 139969968401026 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13461] ppid=13452 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13461/stat : 13461 (java) S 13452 13452 25100 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 54129519 13502038016 192627 18446744073709551615 4194304 4196468 140727984469104 139969450902880 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13462] ppid=13452 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13462/stat : 13462 (java) S 13452 13452 25100 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 54129519 13502038016 192627 18446744073709551615 4194304 4196468 140727984469104 139969449850480 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13463] ppid=13452 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13463/stat : 13463 (java) S 13452 13452 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54129522 13502038016 192627 18446744073709551615 4194304 4196468 140727984469104 139969448798800 139969968408475 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13464] ppid=13452 vsize=13185584 CPUtime=3.21 cores=1,3,5,7
/proc/13454/task/13464/stat : 13464 (java) S 13452 13452 25100 0 -1 1077944384 5175 0 0 0 320 1 0 0 20 0 19 0 54129522 13502038016 192627 18446744073709551615 4194304 4196468 140727984469104 139969447745648 139969968401026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13465] ppid=13452 vsize=13185584 CPUtime=3.27 cores=1,3,5,7
/proc/13454/task/13465/stat : 13465 (java) S 13452 13452 25100 0 -1 1077944384 6155 0 0 0 326 1 0 0 20 0 19 0 54129522 13502038016 192627 18446744073709551615 4194304 4196468 140727984469104 139969446692848 139969968401026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13466] ppid=13452 vsize=13185584 CPUtime=0.82 cores=1,3,5,7
/proc/13454/task/13466/stat : 13466 (java) S 13452 13452 25100 0 -1 1077944384 3283 0 0 0 82 0 0 0 20 0 19 0 54129522 13502038016 192627 18446744073709551615 4194304 4196468 140727984469104 139969445640560 139969968401026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13467] ppid=13452 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13467/stat : 13467 (java) S 13452 13452 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54129522 13502038016 192627 18446744073709551615 4194304 4196468 140727984469104 139969444588000 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13468] ppid=13452 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13468/stat : 13468 (java) S 13452 13452 25100 0 -1 1077944384 591 0 0 0 0 0 0 0 20 0 19 0 54129529 13502038016 192627 18446744073709551615 4194304 4196468 140727984469104 139969443535792 139969968401026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13469] ppid=13452 vsize=13185584 CPUtime=2.51 cores=1,3,5,7
/proc/13454/task/13469/stat : 13469 (java) R 13452 13452 25100 0 -1 4202560 412 0 0 0 251 0 0 0 20 0 19 0 54129807 13502038016 192627 18446744073709551615 4194304 4196468 140727984469104 139969435519616 139969587954664 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13470] ppid=13452 vsize=13185584 CPUtime=2.65 cores=1,3,5,7
/proc/13454/task/13470/stat : 13470 (java) S 13452 13452 25100 0 -1 1077944384 459 0 0 0 265 0 0 0 20 0 19 0 54129807 13502038016 192627 18446744073709551615 4194304 4196468 140727984469104 139969434474064 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13471] ppid=13452 vsize=13185584 CPUtime=2.59 cores=1,3,5,7
/proc/13454/task/13471/stat : 13471 (java) R 13452 13452 25100 0 -1 4202560 353 0 0 0 259 0 0 0 20 0 19 0 54129807 13502038016 192627 18446744073709551615 4194304 4196468 140727984469104 139969433415880 139969587954619 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13472] ppid=13452 vsize=13185584 CPUtime=2.86 cores=1,3,5,7
/proc/13454/task/13472/stat : 13472 (java) S 13452 13452 25100 0 -1 1077944384 270 0 0 0 285 1 0 0 20 0 19 0 54129807 13502038016 192627 18446744073709551615 4194304 4196468 140727984469104 139969432367952 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
Current children cumulated CPU time (s) 21.54
Current children cumulated vsize (KiB) 13195096
[startup+12.7009 s]
/proc/loadavg: 6.77 6.49 6.86 8/224 13481
/proc/meminfo: memFree=28322532/32770624 swapFree=0/331736
[pid=13452] ppid=13449 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13452/stat : 13452 (xcsp3-exec) S 13449 13452 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54129508 9740288 344 18446744073709551615 4194304 5098028 140735820066096 140735820064200 140051959779964 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 18386944 140735820067225 140735820067434 140735820067434 140735820070891 0
/proc/13452/statm: 2378 344 289 221 0 87 0
[pid=13454] ppid=13452 vsize=13185584 CPUtime=45.95 cores=1,3,5,7
################
# More data... #
################
[pid=13454] ppid=13452 vsize=13185584 CPUtime=2037.6 cores=1,3,5,7
/proc/13454/stat : 13454 (java) S 13452 13452 25100 0 -1 1077944320 225160 0 0 0 203495 265 0 0 20 0 19 0 54129516 13502038016 741862 18446744073709551615 4194304 4196468 140727984469104 140727984451648 139969968389879 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
/proc/13454/statm: 3296396 741862 3273 1 0 3284688 0
[pid=13454/tid=13455] ppid=13452 vsize=13185584 CPUtime=2.62 cores=1,3,5,7
/proc/13454/task/13455/stat : 13455 (java) S 13452 13452 25100 0 -1 1077944384 11573 0 0 0 255 7 0 0 20 0 19 0 54129517 13502038016 741862 18446744073709551615 4194304 4196468 140727984469104 139969972630656 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13456] ppid=13452 vsize=13185584 CPUtime=1.53 cores=1,3,5,7
/proc/13454/task/13456/stat : 13456 (java) S 13452 13452 25100 0 -1 1077944384 6407 0 0 0 131 22 0 0 20 0 19 0 54129517 13502038016 741862 18446744073709551615 4194304 4196468 140727984469104 139969904871824 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13457] ppid=13452 vsize=13185584 CPUtime=1.56 cores=1,3,5,7
/proc/13454/task/13457/stat : 13457 (java) S 13452 13452 25100 0 -1 1077944384 5411 0 0 0 136 20 0 0 20 0 19 0 54129517 13502038016 741862 18446744073709551615 4194304 4196468 140727984469104 139969903819024 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13458] ppid=13452 vsize=13185584 CPUtime=1.52 cores=1,3,5,7
/proc/13454/task/13458/stat : 13458 (java) S 13452 13452 25100 0 -1 1077944384 4866 0 0 0 132 20 0 0 20 0 19 0 54129517 13502038016 741862 18446744073709551615 4194304 4196468 140727984469104 139969902766736 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13459] ppid=13452 vsize=13185584 CPUtime=1.56 cores=1,3,5,7
/proc/13454/task/13459/stat : 13459 (java) S 13452 13452 25100 0 -1 1077944384 9614 0 0 0 135 21 0 0 20 0 19 0 54129517 13502038016 741862 18446744073709551615 4194304 4196468 140727984469104 139969901713936 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13460] ppid=13452 vsize=13185584 CPUtime=1.46 cores=1,3,5,7
/proc/13454/task/13460/stat : 13460 (java) S 13452 13452 25100 0 -1 1077944384 14194 0 0 0 48 98 0 0 20 0 19 0 54129519 13502038016 741862 18446744073709551615 4194304 4196468 140727984469104 139969451956848 139969968401026 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13461] ppid=13452 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13461/stat : 13461 (java) S 13452 13452 25100 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 54129519 13502038016 741862 18446744073709551615 4194304 4196468 140727984469104 139969450902880 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13462] ppid=13452 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13462/stat : 13462 (java) S 13452 13452 25100 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 54129519 13502038016 741862 18446744073709551615 4194304 4196468 140727984469104 139969449850496 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13463] ppid=13452 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13463/stat : 13463 (java) S 13452 13452 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54129522 13502038016 741862 18446744073709551615 4194304 4196468 140727984469104 139969448798800 139969968408475 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13464] ppid=13452 vsize=13185584 CPUtime=4.19 cores=1,3,5,7
/proc/13454/task/13464/stat : 13464 (java) S 13452 13452 25100 0 -1 1077944384 28188 0 0 0 416 3 0 0 20 0 19 0 54129522 13502038016 741862 18446744073709551615 4194304 4196468 140727984469104 139969447745648 139969968401026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13465] ppid=13452 vsize=13185584 CPUtime=4.5 cores=1,3,5,7
/proc/13454/task/13465/stat : 13465 (java) S 13452 13452 25100 0 -1 1077944384 33895 0 0 0 448 2 0 0 20 0 19 0 54129522 13502038016 741862 18446744073709551615 4194304 4196468 140727984469104 139969446692848 139969968401026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13466] ppid=13452 vsize=13185584 CPUtime=0.96 cores=1,3,5,7
/proc/13454/task/13466/stat : 13466 (java) S 13452 13452 25100 0 -1 1077944384 24609 0 0 0 95 1 0 0 20 0 19 0 54129522 13502038016 741862 18446744073709551615 4194304 4196468 140727984469104 139969445640560 139969968401026 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13467] ppid=13452 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13467/stat : 13467 (java) S 13452 13452 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54129522 13502038016 741862 18446744073709551615 4194304 4196468 140727984469104 139969444588000 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13468] ppid=13452 vsize=13185584 CPUtime=0.4 cores=1,3,5,7
/proc/13454/task/13468/stat : 13468 (java) S 13452 13452 25100 0 -1 1077944384 3879 0 0 0 15 25 0 0 20 0 19 0 54129529 13502038016 741862 18446744073709551615 4194304 4196468 140727984469104 139969443535792 139969968401026 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13554] ppid=13452 vsize=13185584 CPUtime=257.19 cores=1,3,5,7
/proc/13454/task/13554/stat : 13554 (java) R 13452 13452 25100 0 -1 4202560 2131 0 0 0 25718 1 0 0 20 0 19 0 54161881 13502038016 741862 18446744073709551615 4194304 4196468 140727984469104 139969435519864 139969581515632 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13555] ppid=13452 vsize=13185584 CPUtime=249.88 cores=1,3,5,7
/proc/13454/task/13555/stat : 13555 (java) S 13452 13452 25100 0 -1 1077944384 12967 0 0 0 24986 2 0 0 20 0 19 0 54161881 13502038016 741862 18446744073709551615 4194304 4196468 140727984469104 139969433421392 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13556] ppid=13452 vsize=13185584 CPUtime=256.57 cores=1,3,5,7
/proc/13454/task/13556/stat : 13556 (java) R 13452 13452 25100 0 -1 4202560 1793 0 0 0 25657 0 0 0 20 0 19 0 54161881 13502038016 741862 18446744073709551615 4194304 4196468 140727984469104 139969434468240 139969581515573 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13557] ppid=13452 vsize=13185584 CPUtime=249.59 cores=1,3,5,7
/proc/13454/task/13557/stat : 13557 (java) S 13452 13452 25100 0 -1 1077944384 3878 0 0 0 24958 1 0 0 20 0 19 0 54161881 13502038016 741862 18446744073709551615 4194304 4196468 140727984469104 139969432367952 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
Current children cumulated CPU time (s) 2037.6
Current children cumulated vsize (KiB) 13195096
[startup+642.301 s]
/proc/loadavg: 8.11 7.65 7.20 9/224 13719
/proc/meminfo: memFree=27214436/32770624 swapFree=0/332100
[pid=13452] ppid=13449 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13452/stat : 13452 (xcsp3-exec) S 13449 13452 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54129508 9740288 344 18446744073709551615 4194304 5098028 140735820066096 140735820064200 140051959779964 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 18386944 140735820067225 140735820067434 140735820067434 140735820070891 0
/proc/13452/statm: 2378 344 289 221 0 87 0
[pid=13454] ppid=13452 vsize=13185584 CPUtime=2251 cores=1,3,5,7
/proc/13454/stat : 13454 (java) S 13452 13452 25100 0 -1 1077944320 240986 0 0 0 224821 279 0 0 20 0 19 0 54129516 13502038016 724926 18446744073709551615 4194304 4196468 140727984469104 140727984451648 139969968389879 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
/proc/13454/statm: 3296396 724926 3273 1 0 3284688 0
[pid=13454/tid=13455] ppid=13452 vsize=13185584 CPUtime=2.63 cores=1,3,5,7
/proc/13454/task/13455/stat : 13455 (java) S 13452 13452 25100 0 -1 1077944384 11748 0 0 0 256 7 0 0 20 0 19 0 54129517 13502038016 724926 18446744073709551615 4194304 4196468 140727984469104 139969972630656 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13456] ppid=13452 vsize=13185584 CPUtime=1.69 cores=1,3,5,7
/proc/13454/task/13456/stat : 13456 (java) S 13452 13452 25100 0 -1 1077944384 6948 0 0 0 146 23 0 0 20 0 19 0 54129517 13502038016 724926 18446744073709551615 4194304 4196468 140727984469104 139969904871824 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13457] ppid=13452 vsize=13185584 CPUtime=1.71 cores=1,3,5,7
/proc/13454/task/13457/stat : 13457 (java) S 13452 13452 25100 0 -1 1077944384 6023 0 0 0 150 21 0 0 20 0 19 0 54129517 13502038016 724926 18446744073709551615 4194304 4196468 140727984469104 139969903819024 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13458] ppid=13452 vsize=13185584 CPUtime=1.68 cores=1,3,5,7
/proc/13454/task/13458/stat : 13458 (java) S 13452 13452 25100 0 -1 1077944384 6975 0 0 0 146 22 0 0 20 0 19 0 54129517 13502038016 724926 18446744073709551615 4194304 4196468 140727984469104 139969902766736 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13459] ppid=13452 vsize=13185584 CPUtime=1.71 cores=1,3,5,7
/proc/13454/task/13459/stat : 13459 (java) S 13452 13452 25100 0 -1 1077944384 10292 0 0 0 149 22 0 0 20 0 19 0 54129517 13502038016 724926 18446744073709551615 4194304 4196468 140727984469104 139969901713936 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13460] ppid=13452 vsize=13185584 CPUtime=1.54 cores=1,3,5,7
/proc/13454/task/13460/stat : 13460 (java) S 13452 13452 25100 0 -1 1077944384 14991 0 0 0 50 104 0 0 20 0 19 0 54129519 13502038016 724926 18446744073709551615 4194304 4196468 140727984469104 139969451956848 139969968401026 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13461] ppid=13452 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13461/stat : 13461 (java) S 13452 13452 25100 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 54129519 13502038016 724926 18446744073709551615 4194304 4196468 140727984469104 139969450902880 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13462] ppid=13452 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13462/stat : 13462 (java) S 13452 13452 25100 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 54129519 13502038016 724926 18446744073709551615 4194304 4196468 140727984469104 139969449850496 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13463] ppid=13452 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13463/stat : 13463 (java) S 13452 13452 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54129522 13502038016 724926 18446744073709551615 4194304 4196468 140727984469104 139969448798800 139969968408475 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13464] ppid=13452 vsize=13185584 CPUtime=4.2 cores=1,3,5,7
/proc/13454/task/13464/stat : 13464 (java) S 13452 13452 25100 0 -1 1077944384 28201 0 0 0 417 3 0 0 20 0 19 0 54129522 13502038016 724926 18446744073709551615 4194304 4196468 140727984469104 139969447745648 139969968401026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13465] ppid=13452 vsize=13185584 CPUtime=4.53 cores=1,3,5,7
/proc/13454/task/13465/stat : 13465 (java) S 13452 13452 25100 0 -1 1077944384 35385 0 0 0 451 2 0 0 20 0 19 0 54129522 13502038016 724926 18446744073709551615 4194304 4196468 140727984469104 139969446692848 139969968401026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13466] ppid=13452 vsize=13185584 CPUtime=0.96 cores=1,3,5,7
/proc/13454/task/13466/stat : 13466 (java) S 13452 13452 25100 0 -1 1077944384 24625 0 0 0 95 1 0 0 20 0 19 0 54129522 13502038016 724926 18446744073709551615 4194304 4196468 140727984469104 139969445640560 139969968401026 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13467] ppid=13452 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13467/stat : 13467 (java) S 13452 13452 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54129522 13502038016 724926 18446744073709551615 4194304 4196468 140727984469104 139969444588000 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13468] ppid=13452 vsize=13185584 CPUtime=0.44 cores=1,3,5,7
/proc/13454/task/13468/stat : 13468 (java) S 13452 13452 25100 0 -1 1077944384 4051 0 0 0 17 27 0 0 20 0 19 0 54129529 13502038016 724926 18446744073709551615 4194304 4196468 140727984469104 139969443535792 139969968401026 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13612] ppid=13452 vsize=13185584 CPUtime=48.7 cores=1,3,5,7
/proc/13454/task/13612/stat : 13612 (java) R 13452 13452 25100 0 -1 4202560 1007 0 0 0 4870 0 0 0 20 0 19 0 54188850 13502038016 724926 18446744073709551615 4194304 4196468 140727984469104 139969435519352 139969581515573 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13613] ppid=13452 vsize=13185584 CPUtime=48.3 cores=1,3,5,7
/proc/13454/task/13613/stat : 13613 (java) R 13452 13452 25100 0 -1 4202560 4967 0 0 0 4829 1 0 0 20 0 19 0 54188850 13502038016 724926 18446744073709551615 4194304 4196468 140727984469104 139969433418112 139969587461881 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13614] ppid=13452 vsize=13185584 CPUtime=48.37 cores=1,3,5,7
/proc/13454/task/13614/stat : 13614 (java) R 13452 13452 25100 0 -1 4202560 1125 0 0 0 4837 0 0 0 20 0 19 0 54188850 13502038016 724926 18446744073709551615 4194304 4196468 140727984469104 139969432362384 139969581515624 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13615] ppid=13452 vsize=13185584 CPUtime=48.53 cores=1,3,5,7
/proc/13454/task/13615/stat : 13615 (java) R 13452 13452 25100 0 -1 4202560 1958 0 0 0 4853 0 0 0 20 0 19 0 54188850 13502038016 724926 18446744073709551615 4194304 4196468 140727984469104 139969434468856 139969586851953 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
Current children cumulated CPU time (s) 2251
Current children cumulated vsize (KiB) 13195096
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+679.801 s]
/proc/loadavg: 7.43 7.53 7.18 9/224 13729
/proc/meminfo: memFree=27181728/32770624 swapFree=0/332116
[pid=13452] ppid=13449 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13452/stat : 13452 (xcsp3-exec) S 13449 13452 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54129508 9740288 344 18446744073709551615 4194304 5098028 140735820066096 140735820064200 140051959779964 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 18386944 140735820067225 140735820067434 140735820067434 140735820070891 0
/proc/13452/statm: 2378 344 289 221 0 87 0
[pid=13454] ppid=13452 vsize=13185584 CPUtime=2400.41 cores=1,3,5,7
/proc/13454/stat : 13454 (java) S 13452 13452 25100 0 -1 1077944320 246299 0 0 0 239754 287 0 0 20 0 19 0 54129516 13502038016 709818 18446744073709551615 4194304 4196468 140727984469104 140727984451648 139969968389879 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
/proc/13454/statm: 3296396 709818 3273 1 0 3284688 0
[pid=13454/tid=13455] ppid=13452 vsize=13185584 CPUtime=2.63 cores=1,3,5,7
/proc/13454/task/13455/stat : 13455 (java) S 13452 13452 25100 0 -1 1077944384 11748 0 0 0 256 7 0 0 20 0 19 0 54129517 13502038016 709818 18446744073709551615 4194304 4196468 140727984469104 139969972630656 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13456] ppid=13452 vsize=13185584 CPUtime=1.7 cores=1,3,5,7
/proc/13454/task/13456/stat : 13456 (java) S 13452 13452 25100 0 -1 1077944384 7608 0 0 0 147 23 0 0 20 0 19 0 54129517 13502038016 709818 18446744073709551615 4194304 4196468 140727984469104 139969904871824 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13457] ppid=13452 vsize=13185584 CPUtime=1.73 cores=1,3,5,7
/proc/13454/task/13457/stat : 13457 (java) S 13452 13452 25100 0 -1 1077944384 6158 0 0 0 152 21 0 0 20 0 19 0 54129517 13502038016 709818 18446744073709551615 4194304 4196468 140727984469104 139969903819024 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13458] ppid=13452 vsize=13185584 CPUtime=1.69 cores=1,3,5,7
/proc/13454/task/13458/stat : 13458 (java) S 13452 13452 25100 0 -1 1077944384 7195 0 0 0 147 22 0 0 20 0 19 0 54129517 13502038016 709818 18446744073709551615 4194304 4196468 140727984469104 139969902766736 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13459] ppid=13452 vsize=13185584 CPUtime=1.73 cores=1,3,5,7
/proc/13454/task/13459/stat : 13459 (java) S 13452 13452 25100 0 -1 1077944384 10482 0 0 0 151 22 0 0 20 0 19 0 54129517 13502038016 709818 18446744073709551615 4194304 4196468 140727984469104 139969901713936 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13460] ppid=13452 vsize=13185584 CPUtime=1.62 cores=1,3,5,7
/proc/13454/task/13460/stat : 13460 (java) S 13452 13452 25100 0 -1 1077944384 15250 0 0 0 52 110 0 0 20 0 19 0 54129519 13502038016 709818 18446744073709551615 4194304 4196468 140727984469104 139969451956848 139969968401026 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13461] ppid=13452 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13461/stat : 13461 (java) S 13452 13452 25100 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 54129519 13502038016 709818 18446744073709551615 4194304 4196468 140727984469104 139969450902880 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13462] ppid=13452 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13462/stat : 13462 (java) S 13452 13452 25100 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 54129519 13502038016 709818 18446744073709551615 4194304 4196468 140727984469104 139969449850496 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13463] ppid=13452 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13463/stat : 13463 (java) S 13452 13452 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54129522 13502038016 709818 18446744073709551615 4194304 4196468 140727984469104 139969448798800 139969968408475 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13464] ppid=13452 vsize=13185584 CPUtime=4.2 cores=1,3,5,7
/proc/13454/task/13464/stat : 13464 (java) S 13452 13452 25100 0 -1 1077944384 28951 0 0 0 417 3 0 0 20 0 19 0 54129522 13502038016 709818 18446744073709551615 4194304 4196468 140727984469104 139969447745648 139969968401026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13465] ppid=13452 vsize=13185584 CPUtime=4.53 cores=1,3,5,7
/proc/13454/task/13465/stat : 13465 (java) S 13452 13452 25100 0 -1 1077944384 35388 0 0 0 451 2 0 0 20 0 19 0 54129522 13502038016 709818 18446744073709551615 4194304 4196468 140727984469104 139969446692848 139969968401026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13466] ppid=13452 vsize=13185584 CPUtime=0.97 cores=1,3,5,7
/proc/13454/task/13466/stat : 13466 (java) S 13452 13452 25100 0 -1 1077944384 25287 0 0 0 95 2 0 0 20 0 19 0 54129522 13502038016 709818 18446744073709551615 4194304 4196468 140727984469104 139969445640560 139969968401026 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13467] ppid=13452 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/13454/task/13467/stat : 13467 (java) S 13452 13452 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54129522 13502038016 709818 18446744073709551615 4194304 4196468 140727984469104 139969444588000 139969968400085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13468] ppid=13452 vsize=13185584 CPUtime=0.46 cores=1,3,5,7
/proc/13454/task/13468/stat : 13468 (java) S 13452 13452 25100 0 -1 1077944384 4098 0 0 0 18 28 0 0 20 0 19 0 54129529 13502038016 709818 18446744073709551615 4194304 4196468 140727984469104 139969443535792 139969968401026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13612] ppid=13452 vsize=13185584 CPUtime=86.16 cores=1,3,5,7
/proc/13454/task/13612/stat : 13612 (java) R 13452 13452 25100 0 -1 4202560 1303 0 0 0 8616 0 0 0 20 0 19 0 54188850 13502038016 709818 18446744073709551615 4194304 4196468 140727984469104 139969435519352 139969581515152 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13613] ppid=13452 vsize=13185584 CPUtime=85.54 cores=1,3,5,7
/proc/13454/task/13613/stat : 13613 (java) R 13452 13452 25100 0 -1 4202560 6419 0 0 0 8552 2 0 0 20 0 19 0 54188850 13502038016 709818 18446744073709551615 4194304 4196468 140727984469104 139969433418088 139969587461881 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13614] ppid=13452 vsize=13185584 CPUtime=85.84 cores=1,3,5,7
/proc/13454/task/13614/stat : 13614 (java) R 13452 13452 25100 0 -1 4202560 1282 0 0 0 8584 0 0 0 20 0 19 0 54188850 13502038016 709818 18446744073709551615 4194304 4196468 140727984469104 139969432362384 139969581515676 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
[pid=13454/tid=13615] ppid=13452 vsize=13185584 CPUtime=85.59 cores=1,3,5,7
/proc/13454/task/13615/stat : 13615 (java) R 13452 13452 25100 0 -1 4202560 2440 0 0 0 8558 1 0 0 20 0 19 0 54188850 13502038016 709818 18446744073709551615 4194304 4196468 140727984469104 139969434471664 139969586851953 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22974464 140727984476630 140727984476806 140727984476806 140727984480207 0
Current children cumulated CPU time (s) 2400.41
Current children cumulated vsize (KiB) 13195096
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13454 sig 9
??? kill 13452 sig 9
??? kill -13452 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13452 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=922
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=922
# CPU time returned by wait4() is 0.001844
# while last known CPU time is 2400.41
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 679.832
CPU time (s): 2400.41
CPU user time (s): 2397.54
CPU system time (s): 2.87
CPU usage (%): 353.089
Max. virtual memory (cumulated for all children) (KiB): 13195096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000922
system time used= 0.000922
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.77999 second user time and 5.07316 second system time
The end