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-4254895-1501622798/watcher-4254895-1501622798 -o /tmp/evaluation-result-4254895-1501622798/solver-4254895-1501622798 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501616951-11515 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1231054355 HOME/instance-4254895-1501622798.xml
pid=23811
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.05 1.98 1.89 2/199 23814
/proc/meminfo: memFree=31388184/32770624 swapFree=0/292724
[pid=23814] ppid=23811 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (runsolver) D 23811 23814 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9785586 24240128 106 18446744073709551615 4194304 4338465 140727931640112 140727931637752 139813916529367 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 14520320 140727931646044 140727931646534 140727931646534 140727931649994 0
/proc/23814/statm: 5918 106 53 36 0 2156 0
[startup+0.10019 s]
/proc/loadavg: 2.05 1.98 1.89 2/199 23814
/proc/meminfo: memFree=31388184/32770624 swapFree=0/292724
[pid=23814] ppid=23811 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (xcsp3-exec) S 23811 23814 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9785586 9740288 344 18446744073709551615 4194304 5098028 140735411817728 140735411815832 139869258580604 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 38293504 140735411818907 140735411819111 140735411819111 140735411822571 0
/proc/23814/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200462 s]
/proc/loadavg: 2.05 1.98 1.89 2/199 23814
/proc/meminfo: memFree=31388184/32770624 swapFree=0/292724
[pid=23814] ppid=23811 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (xcsp3-exec) S 23811 23814 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9785586 9740288 344 18446744073709551615 4194304 5098028 140735411817728 140735411815832 139869258580604 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 38293504 140735411818907 140735411819111 140735411819111 140735411822571 0
/proc/23814/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300305 s]
/proc/loadavg: 2.05 1.98 1.89 2/199 23814
/proc/meminfo: memFree=31388184/32770624 swapFree=0/292724
[pid=23814] ppid=23811 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (xcsp3-exec) S 23811 23814 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9785586 9740288 344 18446744073709551615 4194304 5098028 140735411817728 140735411815832 139869258580604 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 38293504 140735411818907 140735411819111 140735411819111 140735411822571 0
/proc/23814/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701098 s]
/proc/loadavg: 2.05 1.98 1.89 2/199 23814
/proc/meminfo: memFree=31388184/32770624 swapFree=0/292724
[pid=23814] ppid=23811 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (xcsp3-exec) S 23811 23814 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9785586 9740288 344 18446744073709551615 4194304 5098028 140735411817728 140735411815832 139869258580604 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 38293504 140735411818907 140735411819111 140735411819111 140735411822571 0
/proc/23814/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5011 s]
/proc/loadavg: 2.05 1.98 1.89 6/215 23830
/proc/meminfo: memFree=31234992/32770624 swapFree=0/292732
[pid=23814] ppid=23811 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (xcsp3-exec) S 23811 23814 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9785586 9740288 344 18446744073709551615 4194304 5098028 140735411817728 140735411815832 139869258580604 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 38293504 140735411818907 140735411819111 140735411819111 140735411822571 0
/proc/23814/statm: 2378 344 289 221 0 87 0
[pid=23816] ppid=23814 vsize=13980732 CPUtime=2.9 cores=1,3,5,7
/proc/23816/stat : 23816 (java) S 23814 23814 5234 0 -1 1077944320 20664 0 0 0 283 7 0 0 20 0 15 0 9785596 14316269568 48742 18446744073709551615 4194304 4196468 140721877667328 140721877649872 139684374748919 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
/proc/23816/statm: 3495183 48742 3184 1 0 3483484 0
[pid=23816/tid=23817] ppid=23814 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/23816/task/23817/stat : 23817 (java) R 23814 23814 5234 0 -1 4202560 8910 0 0 0 130 4 0 0 20 0 15 0 9785596 14316269568 48742 18446744073709551615 4194304 4196468 140721877667328 139684378985568 139683966341668 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23818] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23818/stat : 23818 (java) S 23814 23814 5234 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 15 0 9785597 14316269568 48742 18446744073709551615 4194304 4196468 140721877667328 139684294163600 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23819] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23819/stat : 23819 (java) S 23814 23814 5234 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 9785597 14316269568 48742 18446744073709551615 4194304 4196468 140721877667328 139684293110800 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23820] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23820/stat : 23820 (java) S 23814 23814 5234 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 9785597 14316269568 48742 18446744073709551615 4194304 4196468 140721877667328 139684292058000 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23821] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23821/stat : 23821 (java) S 23814 23814 5234 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 15 0 9785597 14316269568 48742 18446744073709551615 4194304 4196468 140721877667328 139684291005200 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23822] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23822/stat : 23822 (java) S 23814 23814 5234 0 -1 1077944384 187 0 0 0 0 0 0 0 20 0 15 0 9785598 14316269568 48742 18446744073709551615 4194304 4196468 140721877667328 139683852446064 139684374760066 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23823] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23823/stat : 23823 (java) S 23814 23814 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9785598 14316269568 48742 18446744073709551615 4194304 4196468 140721877667328 139683851392032 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23824] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23824/stat : 23824 (java) S 23814 23814 5234 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9785599 14316269568 48742 18446744073709551615 4194304 4196468 140721877667328 139683850339184 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23825] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23825/stat : 23825 (java) S 23814 23814 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9785601 14316269568 48742 18446744073709551615 4194304 4196468 140721877667328 139683849287504 139684374767515 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23826] ppid=23814 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/23816/task/23826/stat : 23826 (java) R 23814 23814 5234 0 -1 4202560 3183 0 0 0 58 0 0 0 20 0 15 0 9785601 14316269568 48742 18446744073709551615 4194304 4196468 140721877667328 139683848221912 139684358280384 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23827] ppid=23814 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/23816/task/23827/stat : 23827 (java) R 23814 23814 5234 0 -1 4202560 3443 0 0 0 59 0 0 0 20 0 15 0 9785601 14316269568 48742 18446744073709551615 4194304 4196468 140721877667328 139683847170448 139684359642721 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23828] ppid=23814 vsize=13980732 CPUtime=0.32 cores=1,3,5,7
/proc/23816/task/23828/stat : 23828 (java) S 23814 23814 5234 0 -1 1077944384 3135 0 0 0 32 0 0 0 20 0 15 0 9785601 14316269568 48742 18446744073709551615 4194304 4196468 140721877667328 139683846130288 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23829] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23829/stat : 23829 (java) S 23814 23814 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9785601 14316269568 48742 18446744073709551615 4194304 4196468 140721877667328 139683845077728 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23830] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23830/stat : 23830 (java) S 23814 23814 5234 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 9785606 14316269568 48742 18446744073709551615 4194304 4196468 140721877667328 139683844025008 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 13990244
[startup+3.10073 s]
/proc/loadavg: 2.05 1.98 1.89 7/215 23830
/proc/meminfo: memFree=31131688/32770624 swapFree=0/292732
[pid=23814] ppid=23811 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (xcsp3-exec) S 23811 23814 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9785586 9740288 344 18446744073709551615 4194304 5098028 140735411817728 140735411815832 139869258580604 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 38293504 140735411818907 140735411819111 140735411819111 140735411822571 0
/proc/23814/statm: 2378 344 289 221 0 87 0
[pid=23816] ppid=23814 vsize=13980732 CPUtime=7.17 cores=1,3,5,7
/proc/23816/stat : 23816 (java) S 23814 23814 5234 0 -1 1077944320 28698 0 0 0 706 11 0 0 20 0 15 0 9785596 14316269568 67356 18446744073709551615 4194304 4196468 140721877667328 140721877649872 139684374748919 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
/proc/23816/statm: 3495183 67356 3210 1 0 3483484 0
[pid=23816/tid=23817] ppid=23814 vsize=13980732 CPUtime=2.89 cores=1,3,5,7
/proc/23816/task/23817/stat : 23817 (java) R 23814 23814 5234 0 -1 4202560 9315 0 0 0 285 4 0 0 20 0 15 0 9785596 14316269568 67356 18446744073709551615 4194304 4196468 140721877667328 139684378986488 139683968509926 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23818] ppid=23814 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/23816/task/23818/stat : 23818 (java) S 23814 23814 5234 0 -1 1077944384 216 0 0 0 2 1 0 0 20 0 15 0 9785597 14316269568 67356 18446744073709551615 4194304 4196468 140721877667328 139684294163600 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23819] ppid=23814 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/23816/task/23819/stat : 23819 (java) S 23814 23814 5234 0 -1 1077944384 84 0 0 0 1 0 0 0 20 0 15 0 9785597 14316269568 67356 18446744073709551615 4194304 4196468 140721877667328 139684293110800 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23820] ppid=23814 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/23816/task/23820/stat : 23820 (java) S 23814 23814 5234 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 15 0 9785597 14316269568 67356 18446744073709551615 4194304 4196468 140721877667328 139684292058000 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23821] ppid=23814 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/23816/task/23821/stat : 23821 (java) S 23814 23814 5234 0 -1 1077944384 243 0 0 0 2 0 0 0 20 0 15 0 9785597 14316269568 67356 18446744073709551615 4194304 4196468 140721877667328 139684291005200 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23822] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23822/stat : 23822 (java) S 23814 23814 5234 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 9785598 14316269568 67356 18446744073709551615 4194304 4196468 140721877667328 139683852446064 139684374760066 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23823] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23823/stat : 23823 (java) S 23814 23814 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9785598 14316269568 67356 18446744073709551615 4194304 4196468 140721877667328 139683851392032 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23824] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23824/stat : 23824 (java) S 23814 23814 5234 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9785599 14316269568 67356 18446744073709551615 4194304 4196468 140721877667328 139683850339184 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23825] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23825/stat : 23825 (java) S 23814 23814 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9785601 14316269568 67356 18446744073709551615 4194304 4196468 140721877667328 139683849287504 139684374767515 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23826] ppid=23814 vsize=13980732 CPUtime=1.77 cores=1,3,5,7
/proc/23816/task/23826/stat : 23826 (java) S 23814 23814 5234 0 -1 1077944384 5225 0 0 0 176 1 0 0 20 0 15 0 9785601 14316269568 67356 18446744073709551615 4194304 4196468 140721877667328 139683848235888 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23827] ppid=23814 vsize=13980732 CPUtime=1.9 cores=1,3,5,7
/proc/23816/task/23827/stat : 23827 (java) S 23814 23814 5234 0 -1 1077944384 8036 0 0 0 189 1 0 0 20 0 15 0 9785601 14316269568 67356 18446744073709551615 4194304 4196468 140721877667328 139683847183088 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23828] ppid=23814 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/23816/task/23828/stat : 23828 (java) S 23814 23814 5234 0 -1 1077944384 3791 0 0 0 46 1 0 0 20 0 15 0 9785601 14316269568 67356 18446744073709551615 4194304 4196468 140721877667328 139683846130288 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23829] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23829/stat : 23829 (java) S 23814 23814 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9785601 14316269568 67356 18446744073709551615 4194304 4196468 140721877667328 139683845077728 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23830] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23830/stat : 23830 (java) S 23814 23814 5234 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 9785606 14316269568 67356 18446744073709551615 4194304 4196468 140721877667328 139683844025008 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 13990244
[startup+6.30072 s]
/proc/loadavg: 2.05 1.98 1.90 3/215 23830
/proc/meminfo: memFree=31079100/32770624 swapFree=0/292744
[pid=23814] ppid=23811 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (xcsp3-exec) S 23811 23814 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9785586 9740288 344 18446744073709551615 4194304 5098028 140735411817728 140735411815832 139869258580604 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 38293504 140735411818907 140735411819111 140735411819111 140735411822571 0
/proc/23814/statm: 2378 344 289 221 0 87 0
[pid=23816] ppid=23814 vsize=13980732 CPUtime=10.81 cores=1,3,5,7
/proc/23816/stat : 23816 (java) S 23814 23814 5234 0 -1 1077944320 29410 0 0 0 1063 18 0 0 20 0 15 0 9785596 14316269568 80166 18446744073709551615 4194304 4196468 140721877667328 140721877649872 139684374748919 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
/proc/23816/statm: 3495183 80166 3212 1 0 3483484 0
[pid=23816/tid=23817] ppid=23814 vsize=13980732 CPUtime=6.06 cores=1,3,5,7
/proc/23816/task/23817/stat : 23817 (java) R 23814 23814 5234 0 -1 4202560 9378 0 0 0 602 4 0 0 20 0 15 0 9785596 14316269568 80166 18446744073709551615 4194304 4196468 140721877667328 139684378984496 139683968114173 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23818] ppid=23814 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/23816/task/23818/stat : 23818 (java) S 23814 23814 5234 0 -1 1077944384 246 0 0 0 3 2 0 0 20 0 15 0 9785597 14316269568 80166 18446744073709551615 4194304 4196468 140721877667328 139684294163600 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23819] ppid=23814 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/23816/task/23819/stat : 23819 (java) S 23814 23814 5234 0 -1 1077944384 241 0 0 0 2 2 0 0 20 0 15 0 9785597 14316269568 80166 18446744073709551615 4194304 4196468 140721877667328 139684293110800 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23820] ppid=23814 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/23816/task/23820/stat : 23820 (java) S 23814 23814 5234 0 -1 1077944384 198 0 0 0 2 1 0 0 20 0 15 0 9785597 14316269568 80166 18446744073709551615 4194304 4196468 140721877667328 139684292058000 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23821] ppid=23814 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/23816/task/23821/stat : 23821 (java) S 23814 23814 5234 0 -1 1077944384 282 0 0 0 3 2 0 0 20 0 15 0 9785597 14316269568 80166 18446744073709551615 4194304 4196468 140721877667328 139684291005200 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23822] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23822/stat : 23822 (java) S 23814 23814 5234 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 15 0 9785598 14316269568 80166 18446744073709551615 4194304 4196468 140721877667328 139683852446064 139684374760066 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23823] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23823/stat : 23823 (java) S 23814 23814 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9785598 14316269568 80166 18446744073709551615 4194304 4196468 140721877667328 139683851392096 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23824] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23824/stat : 23824 (java) S 23814 23814 5234 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9785599 14316269568 80166 18446744073709551615 4194304 4196468 140721877667328 139683850339200 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23825] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23825/stat : 23825 (java) S 23814 23814 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9785601 14316269568 80166 18446744073709551615 4194304 4196468 140721877667328 139683849287504 139684374767515 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23826] ppid=23814 vsize=13980732 CPUtime=2.03 cores=1,3,5,7
/proc/23816/task/23826/stat : 23826 (java) S 23814 23814 5234 0 -1 1077944384 5575 0 0 0 202 1 0 0 20 0 15 0 9785601 14316269568 80166 18446744073709551615 4194304 4196468 140721877667328 139683848235888 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23827] ppid=23814 vsize=13980732 CPUtime=1.97 cores=1,3,5,7
/proc/23816/task/23827/stat : 23827 (java) S 23814 23814 5234 0 -1 1077944384 8054 0 0 0 196 1 0 0 20 0 15 0 9785601 14316269568 80166 18446744073709551615 4194304 4196468 140721877667328 139683847183088 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23828] ppid=23814 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/23816/task/23828/stat : 23828 (java) S 23814 23814 5234 0 -1 1077944384 3806 0 0 0 48 1 0 0 20 0 15 0 9785601 14316269568 80166 18446744073709551615 4194304 4196468 140721877667328 139683846130288 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23829] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23829/stat : 23829 (java) S 23814 23814 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9785601 14316269568 80166 18446744073709551615 4194304 4196468 140721877667328 139683845077728 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23830] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23830/stat : 23830 (java) S 23814 23814 5234 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 9785606 14316269568 80166 18446744073709551615 4194304 4196468 140721877667328 139683844025008 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
Current children cumulated CPU time (s) 10.81
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 2.04 1.98 1.90 3/215 23830
/proc/meminfo: memFree=31023876/32770624 swapFree=0/292752
[pid=23814] ppid=23811 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (xcsp3-exec) S 23811 23814 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9785586 9740288 344 18446744073709551615 4194304 5098028 140735411817728 140735411815832 139869258580604 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 38293504 140735411818907 140735411819111 140735411819111 140735411822571 0
/proc/23814/statm: 2378 344 289 221 0 87 0
[pid=23816] ppid=23814 vsize=13980732 CPUtime=17.42 cores=1,3,5,7
/proc/23816/stat : 23816 (java) S 23814 23814 5234 0 -1 1077944320 33013 0 0 0 1723 19 0 0 20 0 15 0 9785596 14316269568 96511 18446744073709551615 4194304 4196468 140721877667328 140721877649872 139684374748919 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
/proc/23816/statm: 3495183 96511 3212 1 0 3483484 0
[pid=23816/tid=23817] ppid=23814 vsize=13980732 CPUtime=12.47 cores=1,3,5,7
/proc/23816/task/23817/stat : 23817 (java) R 23814 23814 5234 0 -1 4202560 10621 0 0 0 1242 5 0 0 20 0 15 0 9785596 14316269568 96511 18446744073709551615 4194304 4196468 140721877667328 139684378984432 139683968511345 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23818] ppid=23814 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/23816/task/23818/stat : 23818 (java) S 23814 23814 5234 0 -1 1077944384 246 0 0 0 3 2 0 0 20 0 15 0 9785597 14316269568 96511 18446744073709551615 4194304 4196468 140721877667328 139684294163600 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23819] ppid=23814 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/23816/task/23819/stat : 23819 (java) S 23814 23814 5234 0 -1 1077944384 241 0 0 0 2 2 0 0 20 0 15 0 9785597 14316269568 96511 18446744073709551615 4194304 4196468 140721877667328 139684293110800 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
################
# More data... #
################
[pid=23816/tid=23823] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23823/stat : 23823 (java) S 23814 23814 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9785598 14316269568 196176 18446744073709551615 4194304 4196468 140721877667328 139683851392096 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23824] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23824/stat : 23824 (java) S 23814 23814 5234 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9785599 14316269568 196176 18446744073709551615 4194304 4196468 140721877667328 139683850339200 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23825] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23825/stat : 23825 (java) S 23814 23814 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9785601 14316269568 196176 18446744073709551615 4194304 4196468 140721877667328 139683849287504 139684374767515 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23826] ppid=23814 vsize=13980732 CPUtime=2.31 cores=1,3,5,7
/proc/23816/task/23826/stat : 23826 (java) S 23814 23814 5234 0 -1 1077944384 8366 0 0 0 230 1 0 0 20 0 15 0 9785601 14316269568 196176 18446744073709551615 4194304 4196468 140721877667328 139683848235888 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23827] ppid=23814 vsize=13980732 CPUtime=2.11 cores=1,3,5,7
/proc/23816/task/23827/stat : 23827 (java) S 23814 23814 5234 0 -1 1077944384 10131 0 0 0 210 1 0 0 20 0 15 0 9785601 14316269568 196176 18446744073709551615 4194304 4196468 140721877667328 139683847183088 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23828] ppid=23814 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/23816/task/23828/stat : 23828 (java) S 23814 23814 5234 0 -1 1077944384 4880 0 0 0 49 1 0 0 20 0 15 0 9785601 14316269568 196176 18446744073709551615 4194304 4196468 140721877667328 139683846130288 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23829] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23829/stat : 23829 (java) S 23814 23814 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9785601 14316269568 196176 18446744073709551615 4194304 4196468 140721877667328 139683845077728 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23830] ppid=23814 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/23816/task/23830/stat : 23830 (java) S 23814 23814 5234 0 -1 1077944384 668 0 0 0 2 3 0 0 20 0 15 0 9785606 14316269568 196176 18446744073709551615 4194304 4196468 140721877667328 139683844025008 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
Current children cumulated CPU time (s) 107.59
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.98 1.97 1.90 3/215 23914
/proc/meminfo: memFree=29701760/32770624 swapFree=0/292936
[pid=23814] ppid=23811 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (xcsp3-exec) S 23811 23814 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9785586 9740288 344 18446744073709551615 4194304 5098028 140735411817728 140735411815832 139869258580604 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 38293504 140735411818907 140735411819111 140735411819111 140735411822571 0
/proc/23814/statm: 2378 344 289 221 0 87 0
[pid=23816] ppid=23814 vsize=13980732 CPUtime=167.65 cores=1,3,5,7
/proc/23816/stat : 23816 (java) S 23814 23814 5234 0 -1 1077944320 48264 0 0 0 16720 45 0 0 20 0 15 0 9785596 14316269568 196784 18446744073709551615 4194304 4196468 140721877667328 140721877649872 139684374748919 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
/proc/23816/statm: 3495183 196784 3212 1 0 3483484 0
[pid=23816/tid=23817] ppid=23814 vsize=13980732 CPUtime=161.96 cores=1,3,5,7
/proc/23816/task/23817/stat : 23817 (java) R 23814 23814 5234 0 -1 4202560 16232 0 0 0 16188 8 0 0 20 0 15 0 9785596 14316269568 196784 18446744073709551615 4194304 4196468 140721877667328 139684378987456 139683968509957 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23818] ppid=23814 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/23816/task/23818/stat : 23818 (java) S 23814 23814 5234 0 -1 1077944384 1289 0 0 0 8 7 0 0 20 0 15 0 9785597 14316269568 196784 18446744073709551615 4194304 4196468 140721877667328 139684294163600 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23819] ppid=23814 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/23816/task/23819/stat : 23819 (java) S 23814 23814 5234 0 -1 1077944384 1916 0 0 0 7 7 0 0 20 0 15 0 9785597 14316269568 196784 18446744073709551615 4194304 4196468 140721877667328 139684293110800 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23820] ppid=23814 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/23816/task/23820/stat : 23820 (java) S 23814 23814 5234 0 -1 1077944384 713 0 0 0 7 6 0 0 20 0 15 0 9785597 14316269568 196784 18446744073709551615 4194304 4196468 140721877667328 139684292058000 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23821] ppid=23814 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/23816/task/23821/stat : 23821 (java) S 23814 23814 5234 0 -1 1077944384 874 0 0 0 8 7 0 0 20 0 15 0 9785597 14316269568 196784 18446744073709551615 4194304 4196468 140721877667328 139684291005200 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23822] ppid=23814 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/23816/task/23822/stat : 23822 (java) S 23814 23814 5234 0 -1 1077944384 1528 0 0 0 1 0 0 0 20 0 15 0 9785598 14316269568 196784 18446744073709551615 4194304 4196468 140721877667328 139683852446064 139684374760066 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23823] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23823/stat : 23823 (java) S 23814 23814 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9785598 14316269568 196784 18446744073709551615 4194304 4196468 140721877667328 139683851392096 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23824] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23824/stat : 23824 (java) S 23814 23814 5234 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9785599 14316269568 196784 18446744073709551615 4194304 4196468 140721877667328 139683850339200 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23825] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23825/stat : 23825 (java) S 23814 23814 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9785601 14316269568 196784 18446744073709551615 4194304 4196468 140721877667328 139683849287504 139684374767515 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23826] ppid=23814 vsize=13980732 CPUtime=2.32 cores=1,3,5,7
/proc/23816/task/23826/stat : 23826 (java) S 23814 23814 5234 0 -1 1077944384 8686 0 0 0 231 1 0 0 20 0 15 0 9785601 14316269568 196784 18446744073709551615 4194304 4196468 140721877667328 139683848235888 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23827] ppid=23814 vsize=13980732 CPUtime=2.11 cores=1,3,5,7
/proc/23816/task/23827/stat : 23827 (java) S 23814 23814 5234 0 -1 1077944384 10131 0 0 0 210 1 0 0 20 0 15 0 9785601 14316269568 196784 18446744073709551615 4194304 4196468 140721877667328 139683847183088 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23828] ppid=23814 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/23816/task/23828/stat : 23828 (java) S 23814 23814 5234 0 -1 1077944384 4880 0 0 0 49 1 0 0 20 0 15 0 9785601 14316269568 196784 18446744073709551615 4194304 4196468 140721877667328 139683846130288 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23829] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23829/stat : 23829 (java) S 23814 23814 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9785601 14316269568 196784 18446744073709551615 4194304 4196468 140721877667328 139683845077728 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23830] ppid=23814 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/23816/task/23830/stat : 23830 (java) S 23814 23814 5234 0 -1 1077944384 674 0 0 0 4 5 0 0 20 0 15 0 9785606 14316269568 196784 18446744073709551615 4194304 4196468 140721877667328 139683844025008 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
Current children cumulated CPU time (s) 167.65
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.87 1.94 1.89 3/216 23917
/proc/meminfo: memFree=29702648/32770624 swapFree=0/292972
[pid=23814] ppid=23811 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (xcsp3-exec) S 23811 23814 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9785586 9740288 344 18446744073709551615 4194304 5098028 140735411817728 140735411815832 139869258580604 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 38293504 140735411818907 140735411819111 140735411819111 140735411822571 0
/proc/23814/statm: 2378 344 289 221 0 87 0
[pid=23816] ppid=23814 vsize=13980732 CPUtime=227.7 cores=1,3,5,7
/proc/23816/stat : 23816 (java) S 23814 23814 5234 0 -1 1077944320 50386 0 0 0 22723 47 0 0 20 0 15 0 9785596 14316269568 196231 18446744073709551615 4194304 4196468 140721877667328 140721877649872 139684374748919 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
/proc/23816/statm: 3495183 196231 3212 1 0 3483484 0
[pid=23816/tid=23817] ppid=23814 vsize=13980732 CPUtime=221.96 cores=1,3,5,7
/proc/23816/task/23817/stat : 23817 (java) R 23814 23814 5234 0 -1 4202560 17174 0 0 0 22188 8 0 0 20 0 15 0 9785596 14316269568 196231 18446744073709551615 4194304 4196468 140721877667328 139684378988024 139683968511102 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23818] ppid=23814 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/23816/task/23818/stat : 23818 (java) S 23814 23814 5234 0 -1 1077944384 1341 0 0 0 8 7 0 0 20 0 15 0 9785597 14316269568 196231 18446744073709551615 4194304 4196468 140721877667328 139684294163600 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23819] ppid=23814 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/23816/task/23819/stat : 23819 (java) S 23814 23814 5234 0 -1 1077944384 1974 0 0 0 7 7 0 0 20 0 15 0 9785597 14316269568 196231 18446744073709551615 4194304 4196468 140721877667328 139684293110800 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23820] ppid=23814 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/23816/task/23820/stat : 23820 (java) S 23814 23814 5234 0 -1 1077944384 1096 0 0 0 7 7 0 0 20 0 15 0 9785597 14316269568 196231 18446744073709551615 4194304 4196468 140721877667328 139684292058000 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23821] ppid=23814 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/23816/task/23821/stat : 23821 (java) S 23814 23814 5234 0 -1 1077944384 1062 0 0 0 9 7 0 0 20 0 15 0 9785597 14316269568 196231 18446744073709551615 4194304 4196468 140721877667328 139684291005200 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23822] ppid=23814 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/23816/task/23822/stat : 23822 (java) S 23814 23814 5234 0 -1 1077944384 1739 0 0 0 1 0 0 0 20 0 15 0 9785598 14316269568 196231 18446744073709551615 4194304 4196468 140721877667328 139683852446064 139684374760066 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23823] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23823/stat : 23823 (java) S 23814 23814 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9785598 14316269568 196231 18446744073709551615 4194304 4196468 140721877667328 139683851392096 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23824] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23824/stat : 23824 (java) S 23814 23814 5234 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9785599 14316269568 196231 18446744073709551615 4194304 4196468 140721877667328 139683850339200 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23825] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23825/stat : 23825 (java) S 23814 23814 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9785601 14316269568 196231 18446744073709551615 4194304 4196468 140721877667328 139683849287504 139684374767515 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23826] ppid=23814 vsize=13980732 CPUtime=2.32 cores=1,3,5,7
/proc/23816/task/23826/stat : 23826 (java) S 23814 23814 5234 0 -1 1077944384 8689 0 0 0 231 1 0 0 20 0 15 0 9785601 14316269568 196231 18446744073709551615 4194304 4196468 140721877667328 139683848235888 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23827] ppid=23814 vsize=13980732 CPUtime=2.11 cores=1,3,5,7
/proc/23816/task/23827/stat : 23827 (java) S 23814 23814 5234 0 -1 1077944384 10134 0 0 0 210 1 0 0 20 0 15 0 9785601 14316269568 196231 18446744073709551615 4194304 4196468 140721877667328 139683847183088 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23828] ppid=23814 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/23816/task/23828/stat : 23828 (java) S 23814 23814 5234 0 -1 1077944384 5131 0 0 0 50 1 0 0 20 0 15 0 9785601 14316269568 196231 18446744073709551615 4194304 4196468 140721877667328 139683846130288 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23829] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23829/stat : 23829 (java) S 23814 23814 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9785601 14316269568 196231 18446744073709551615 4194304 4196468 140721877667328 139683845077728 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23830] ppid=23814 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/23816/task/23830/stat : 23830 (java) S 23814 23814 5234 0 -1 1077944384 705 0 0 0 5 7 0 0 20 0 15 0 9785606 14316269568 196231 18446744073709551615 4194304 4196468 140721877667328 139683844025008 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
Current children cumulated CPU time (s) 227.7
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.91 1.94 1.90 3/216 23917
/proc/meminfo: memFree=29700792/32770624 swapFree=0/292980
[pid=23814] ppid=23811 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23814/stat : 23814 (xcsp3-exec) S 23811 23814 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9785586 9740288 344 18446744073709551615 4194304 5098028 140735411817728 140735411815832 139869258580604 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 38293504 140735411818907 140735411819111 140735411819111 140735411822571 0
/proc/23814/statm: 2378 344 289 221 0 87 0
[pid=23816] ppid=23814 vsize=13980732 CPUtime=245.42 cores=1,3,5,7
/proc/23816/stat : 23816 (java) S 23814 23814 5234 0 -1 1077944320 50989 0 0 0 24493 49 0 0 20 0 15 0 9785596 14316269568 196744 18446744073709551615 4194304 4196468 140721877667328 140721877649872 139684374748919 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
/proc/23816/statm: 3495183 196744 3212 1 0 3483484 0
[pid=23816/tid=23817] ppid=23814 vsize=13980732 CPUtime=239.66 cores=1,3,5,7
/proc/23816/task/23817/stat : 23817 (java) R 23814 23814 5234 0 -1 4202560 17746 0 0 0 23958 8 0 0 20 0 15 0 9785596 14316269568 196744 18446744073709551615 4194304 4196468 140721877667328 139684378984320 139683968114060 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23818] ppid=23814 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/23816/task/23818/stat : 23818 (java) S 23814 23814 5234 0 -1 1077944384 1342 0 0 0 8 7 0 0 20 0 15 0 9785597 14316269568 196744 18446744073709551615 4194304 4196468 140721877667328 139684294163600 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23819] ppid=23814 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/23816/task/23819/stat : 23819 (java) S 23814 23814 5234 0 -1 1077944384 1975 0 0 0 8 7 0 0 20 0 15 0 9785597 14316269568 196744 18446744073709551615 4194304 4196468 140721877667328 139684293110800 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23820] ppid=23814 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/23816/task/23820/stat : 23820 (java) S 23814 23814 5234 0 -1 1077944384 1097 0 0 0 7 7 0 0 20 0 15 0 9785597 14316269568 196744 18446744073709551615 4194304 4196468 140721877667328 139684292058000 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23821] ppid=23814 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/23816/task/23821/stat : 23821 (java) S 23814 23814 5234 0 -1 1077944384 1063 0 0 0 9 7 0 0 20 0 15 0 9785597 14316269568 196744 18446744073709551615 4194304 4196468 140721877667328 139684291005200 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23822] ppid=23814 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/23816/task/23822/stat : 23822 (java) S 23814 23814 5234 0 -1 1077944384 1743 0 0 0 1 0 0 0 20 0 15 0 9785598 14316269568 196744 18446744073709551615 4194304 4196468 140721877667328 139683852446064 139684374760066 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23823] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23823/stat : 23823 (java) S 23814 23814 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9785598 14316269568 196744 18446744073709551615 4194304 4196468 140721877667328 139683851392096 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23824] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23824/stat : 23824 (java) S 23814 23814 5234 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9785599 14316269568 196744 18446744073709551615 4194304 4196468 140721877667328 139683850339200 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23825] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23825/stat : 23825 (java) S 23814 23814 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9785601 14316269568 196744 18446744073709551615 4194304 4196468 140721877667328 139683849287504 139684374767515 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23826] ppid=23814 vsize=13980732 CPUtime=2.32 cores=1,3,5,7
/proc/23816/task/23826/stat : 23826 (java) S 23814 23814 5234 0 -1 1077944384 8689 0 0 0 231 1 0 0 20 0 15 0 9785601 14316269568 196744 18446744073709551615 4194304 4196468 140721877667328 139683848235888 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23827] ppid=23814 vsize=13980732 CPUtime=2.11 cores=1,3,5,7
/proc/23816/task/23827/stat : 23827 (java) S 23814 23814 5234 0 -1 1077944384 10134 0 0 0 210 1 0 0 20 0 15 0 9785601 14316269568 196744 18446744073709551615 4194304 4196468 140721877667328 139683847183088 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23828] ppid=23814 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/23816/task/23828/stat : 23828 (java) S 23814 23814 5234 0 -1 1077944384 5154 0 0 0 50 1 0 0 20 0 15 0 9785601 14316269568 196744 18446744073709551615 4194304 4196468 140721877667328 139683846130288 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23829] ppid=23814 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23816/task/23829/stat : 23829 (java) S 23814 23814 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9785601 14316269568 196744 18446744073709551615 4194304 4196468 140721877667328 139683845077728 139684374759125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
[pid=23816/tid=23830] ppid=23814 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/23816/task/23830/stat : 23830 (java) S 23814 23814 5234 0 -1 1077944384 705 0 0 0 6 7 0 0 20 0 15 0 9785606 14316269568 196744 18446744073709551615 4194304 4196468 140721877667328 139683844025008 139684374760066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22028288 140721877668308 140721877668483 140721877668483 140721877671887 0
Current children cumulated CPU time (s) 245.42
Current children cumulated vsize (KiB) 13990244
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 23816 sig 9
??? kill 23814 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 23814 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1815
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=119
# CPU time returned by wait4() is 0.001934
# while last known CPU time is 245.42
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 245.42
CPU user time (s): 244.93
CPU system time (s): 0.49
CPU usage (%): 102.254
Max. virtual memory (cumulated for all children) (KiB): 13992480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001815
system time used= 0.000119
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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 1.14668 second user time and 1.56728 second system time
The end