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-4255023-1501620720/watcher-4255023-1501620720 -o /tmp/evaluation-result-4255023-1501620720/solver-4255023-1501620720 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501617193-9963 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1702133931 HOME/instance-4255023-1501620720.xml
pid=12197
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: 1.67 1.76 1.77 2/195 12200
/proc/meminfo: memFree=31562240/32770624 swapFree=0/192268
[pid=12200] ppid=12197 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/12200/stat : 12200 (runsolver) D 12197 12200 5131 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10692243 24240128 106 18446744073709551615 4194304 4338465 140737281858224 140737281855864 139698693292759 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 24506368 140737281859677 140737281860166 140737281860166 140737281863626 0
/proc/12200/statm: 5918 106 53 36 0 2156 0
[startup+0.105052 s]
/proc/loadavg: 1.67 1.76 1.77 2/195 12200
/proc/meminfo: memFree=31562240/32770624 swapFree=0/192268
[pid=12200] ppid=12197 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12200/stat : 12200 (xcsp3-exec) S 12197 12200 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10692243 9740288 345 18446744073709551615 4194304 5098028 140728294651792 140728294649896 140099661177468 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 20099072 140728294654363 140728294654567 140728294654567 140728294658027 0
/proc/12200/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200288 s]
/proc/loadavg: 1.67 1.76 1.77 2/195 12200
/proc/meminfo: memFree=31562240/32770624 swapFree=0/192268
[pid=12200] ppid=12197 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12200/stat : 12200 (xcsp3-exec) S 12197 12200 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10692243 9740288 345 18446744073709551615 4194304 5098028 140728294651792 140728294649896 140099661177468 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 20099072 140728294654363 140728294654567 140728294654567 140728294658027 0
/proc/12200/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300319 s]
/proc/loadavg: 1.67 1.76 1.77 2/195 12200
/proc/meminfo: memFree=31562240/32770624 swapFree=0/192268
[pid=12200] ppid=12197 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12200/stat : 12200 (xcsp3-exec) S 12197 12200 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10692243 9740288 345 18446744073709551615 4194304 5098028 140728294651792 140728294649896 140099661177468 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 20099072 140728294654363 140728294654567 140728294654567 140728294658027 0
/proc/12200/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701053 s]
/proc/loadavg: 1.67 1.76 1.77 2/195 12200
/proc/meminfo: memFree=31562240/32770624 swapFree=0/192268
[pid=12200] ppid=12197 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12200/stat : 12200 (xcsp3-exec) S 12197 12200 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10692243 9740288 345 18446744073709551615 4194304 5098028 140728294651792 140728294649896 140099661177468 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 20099072 140728294654363 140728294654567 140728294654567 140728294658027 0
/proc/12200/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50073 s]
/proc/loadavg: 1.67 1.76 1.77 5/211 12216
/proc/meminfo: memFree=31470060/32770624 swapFree=0/192296
[pid=12200] ppid=12197 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12200/stat : 12200 (xcsp3-exec) S 12197 12200 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10692243 9740288 345 18446744073709551615 4194304 5098028 140728294651792 140728294649896 140099661177468 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 20099072 140728294654363 140728294654567 140728294654567 140728294658027 0
/proc/12200/statm: 2378 345 289 221 0 87 0
[pid=12202] ppid=12200 vsize=13983528 CPUtime=3.77 cores=1,3,5,7
/proc/12202/stat : 12202 (java) S 12200 12200 5131 0 -1 1077944320 39090 0 0 0 369 8 0 0 20 0 15 0 10692249 14319132672 35575 18446744073709551615 4194304 4196468 140732343084080 140732343066624 139905111777015 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
/proc/12202/statm: 3495882 35575 3179 1 0 3484183 0
[pid=12202/tid=12203] ppid=12200 vsize=13983528 CPUtime=1.38 cores=1,3,5,7
/proc/12202/task/12203/stat : 12203 (java) R 12200 12200 5131 0 -1 4202560 9496 0 0 0 135 3 0 0 20 0 15 0 10692249 14319132672 35575 18446744073709551615 4194304 4196468 140732343084080 139905116012272 139904756619150 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12204] ppid=12200 vsize=13983528 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12204/stat : 12204 (java) S 12200 12200 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10692250 14319132672 35575 18446744073709551615 4194304 4196468 140732343084080 139905072675728 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12205] ppid=12200 vsize=13983528 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12205/stat : 12205 (java) S 12200 12200 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10692250 14319132672 35575 18446744073709551615 4194304 4196468 140732343084080 139905071622928 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12206] ppid=12200 vsize=13983528 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12206/stat : 12206 (java) S 12200 12200 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10692250 14319132672 35575 18446744073709551615 4194304 4196468 140732343084080 139904709749904 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12207] ppid=12200 vsize=13983528 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12207/stat : 12207 (java) S 12200 12200 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10692250 14319132672 35575 18446744073709551615 4194304 4196468 140732343084080 139904708697104 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12208] ppid=12200 vsize=13983528 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12208/stat : 12208 (java) S 12200 12200 5131 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 10692251 14319132672 35575 18446744073709551615 4194304 4196468 140732343084080 139904590358640 139905111788162 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12209] ppid=12200 vsize=13983528 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12209/stat : 12209 (java) S 12200 12200 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10692252 14319132672 35575 18446744073709551615 4194304 4196468 140732343084080 139904589304608 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12210] ppid=12200 vsize=13983528 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12210/stat : 12210 (java) S 12200 12200 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10692252 14319132672 35575 18446744073709551615 4194304 4196468 140732343084080 139904588252272 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12211] ppid=12200 vsize=13983528 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12211/stat : 12211 (java) S 12200 12200 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10692255 14319132672 35575 18446744073709551615 4194304 4196468 140732343084080 139904587200592 139905111795611 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12212] ppid=12200 vsize=13983528 CPUtime=0.94 cores=1,3,5,7
/proc/12202/task/12212/stat : 12212 (java) R 12200 12200 5131 0 -1 4202560 18010 0 0 0 92 2 0 0 20 0 15 0 10692255 14319132672 35575 18446744073709551615 4194304 4196468 140732343084080 139904586133128 139905093323752 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12213] ppid=12200 vsize=13983528 CPUtime=0.9 cores=1,3,5,7
/proc/12202/task/12213/stat : 12213 (java) R 12200 12200 5131 0 -1 4202560 6665 0 0 0 89 1 0 0 20 0 15 0 10692255 14319132672 35575 18446744073709551615 4194304 4196468 140732343084080 139904585080136 139905093321258 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12214] ppid=12200 vsize=13983528 CPUtime=0.52 cores=1,3,5,7
/proc/12202/task/12214/stat : 12214 (java) S 12200 12200 5131 0 -1 1077944384 3620 0 0 0 51 1 0 0 20 0 15 0 10692255 14319132672 35575 18446744073709551615 4194304 4196468 140732343084080 139904584043376 139905111788162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12215] ppid=12200 vsize=13983528 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12215/stat : 12215 (java) S 12200 12200 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10692255 14319132672 35575 18446744073709551615 4194304 4196468 140732343084080 139904582990816 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12216] ppid=12200 vsize=13983528 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12216/stat : 12216 (java) S 12200 12200 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10692258 14319132672 35575 18446744073709551615 4194304 4196468 140732343084080 139904581937584 139905111788162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 13993040
[startup+3.10073 s]
/proc/loadavg: 1.67 1.76 1.77 6/211 12216
/proc/meminfo: memFree=31412972/32770624 swapFree=0/192296
[pid=12200] ppid=12197 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12200/stat : 12200 (xcsp3-exec) S 12197 12200 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10692243 9740288 345 18446744073709551615 4194304 5098028 140728294651792 140728294649896 140099661177468 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 20099072 140728294654363 140728294654567 140728294654567 140728294658027 0
/proc/12200/statm: 2378 345 289 221 0 87 0
[pid=12202] ppid=12200 vsize=13980732 CPUtime=8.61 cores=1,3,5,7
/proc/12202/stat : 12202 (java) S 12200 12200 5131 0 -1 1077944320 48020 0 0 0 851 10 0 0 20 0 15 0 10692249 14316269568 39071 18446744073709551615 4194304 4196468 140732343084080 140732343066624 139905111777015 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
/proc/12202/statm: 3495183 39071 3180 1 0 3483484 0
[pid=12202/tid=12203] ppid=12200 vsize=13980732 CPUtime=2.98 cores=1,3,5,7
/proc/12202/task/12203/stat : 12203 (java) R 12200 12200 5131 0 -1 4202560 9951 0 0 0 294 4 0 0 20 0 15 0 10692249 14316269568 39071 18446744073709551615 4194304 4196468 140732343084080 139905116012848 139904757434741 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12204] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12204/stat : 12204 (java) S 12200 12200 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10692250 14316269568 39071 18446744073709551615 4194304 4196468 140732343084080 139905072675728 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12205] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12205/stat : 12205 (java) S 12200 12200 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10692250 14316269568 39071 18446744073709551615 4194304 4196468 140732343084080 139905071622928 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12206] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12206/stat : 12206 (java) S 12200 12200 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10692250 14316269568 39071 18446744073709551615 4194304 4196468 140732343084080 139904709749904 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12207] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12207/stat : 12207 (java) S 12200 12200 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10692250 14316269568 39071 18446744073709551615 4194304 4196468 140732343084080 139904708697104 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12208] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12208/stat : 12208 (java) S 12200 12200 5131 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 10692251 14316269568 39071 18446744073709551615 4194304 4196468 140732343084080 139904590358640 139905111788162 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12209] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12209/stat : 12209 (java) S 12200 12200 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10692252 14316269568 39071 18446744073709551615 4194304 4196468 140732343084080 139904589304608 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12210] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12210/stat : 12210 (java) S 12200 12200 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10692252 14316269568 39071 18446744073709551615 4194304 4196468 140732343084080 139904588252272 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12211] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12211/stat : 12211 (java) S 12200 12200 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10692255 14316269568 39071 18446744073709551615 4194304 4196468 140732343084080 139904587200592 139905111795611 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12212] ppid=12200 vsize=13980732 CPUtime=2.52 cores=1,3,5,7
/proc/12202/task/12212/stat : 12212 (java) R 12200 12200 5131 0 -1 4202560 22290 0 0 0 250 2 0 0 20 0 15 0 10692255 14316269568 39071 18446744073709551615 4194304 4196468 140732343084080 139904586148464 139905093295420 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12213] ppid=12200 vsize=13980732 CPUtime=2.48 cores=1,3,5,7
/proc/12202/task/12213/stat : 12213 (java) R 12200 12200 5131 0 -1 4202560 10441 0 0 0 247 1 0 0 20 0 15 0 10692255 14316269568 39071 18446744073709551615 4194304 4196468 140732343084080 139904585086496 139905091629190 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12214] ppid=12200 vsize=13980732 CPUtime=0.57 cores=1,3,5,7
/proc/12202/task/12214/stat : 12214 (java) S 12200 12200 5131 0 -1 1077944384 3988 0 0 0 56 1 0 0 20 0 15 0 10692255 14316269568 39071 18446744073709551615 4194304 4196468 140732343084080 139904584043376 139905111788162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12215] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12215/stat : 12215 (java) S 12200 12200 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10692255 14316269568 39071 18446744073709551615 4194304 4196468 140732343084080 139904582990816 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12216] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12216/stat : 12216 (java) S 12200 12200 5131 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 10692258 14316269568 39071 18446744073709551615 4194304 4196468 140732343084080 139904581937584 139905111788162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
Current children cumulated CPU time (s) 8.61
Current children cumulated vsize (KiB) 13990244
[startup+6.3007 s]
/proc/loadavg: 1.62 1.74 1.77 4/211 12216
/proc/meminfo: memFree=31424908/32770624 swapFree=0/192308
[pid=12200] ppid=12197 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12200/stat : 12200 (xcsp3-exec) S 12197 12200 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10692243 9740288 345 18446744073709551615 4194304 5098028 140728294651792 140728294649896 140099661177468 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 20099072 140728294654363 140728294654567 140728294654567 140728294658027 0
/proc/12200/statm: 2378 345 289 221 0 87 0
[pid=12202] ppid=12200 vsize=13980732 CPUtime=12.77 cores=1,3,5,7
/proc/12202/stat : 12202 (java) S 12200 12200 5131 0 -1 1077944320 54678 0 0 0 1266 11 0 0 20 0 15 0 10692249 14316269568 36991 18446744073709551615 4194304 4196468 140732343084080 140732343066624 139905111777015 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
/proc/12202/statm: 3495183 36991 3191 1 0 3483484 0
[pid=12202/tid=12203] ppid=12200 vsize=13980732 CPUtime=6.18 cores=1,3,5,7
/proc/12202/task/12203/stat : 12203 (java) R 12200 12200 5131 0 -1 4202560 10847 0 0 0 614 4 0 0 20 0 15 0 10692249 14316269568 36991 18446744073709551615 4194304 4196468 140732343084080 139905116012704 139904756361897 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12204] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12204/stat : 12204 (java) S 12200 12200 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10692250 14316269568 36991 18446744073709551615 4194304 4196468 140732343084080 139905072675728 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12205] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12205/stat : 12205 (java) S 12200 12200 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10692250 14316269568 36991 18446744073709551615 4194304 4196468 140732343084080 139905071622928 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12206] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12206/stat : 12206 (java) S 12200 12200 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10692250 14316269568 36991 18446744073709551615 4194304 4196468 140732343084080 139904709749904 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12207] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12207/stat : 12207 (java) S 12200 12200 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10692250 14316269568 36991 18446744073709551615 4194304 4196468 140732343084080 139904708697104 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12208] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12208/stat : 12208 (java) S 12200 12200 5131 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 15 0 10692251 14316269568 36991 18446744073709551615 4194304 4196468 140732343084080 139904590358640 139905111788162 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12209] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12209/stat : 12209 (java) S 12200 12200 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10692252 14316269568 36991 18446744073709551615 4194304 4196468 140732343084080 139904589304608 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12210] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12210/stat : 12210 (java) S 12200 12200 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10692252 14316269568 36991 18446744073709551615 4194304 4196468 140732343084080 139904588252272 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12211] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12211/stat : 12211 (java) S 12200 12200 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10692255 14316269568 36991 18446744073709551615 4194304 4196468 140732343084080 139904587200592 139905111795611 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12212] ppid=12200 vsize=13980732 CPUtime=3 cores=1,3,5,7
/proc/12202/task/12212/stat : 12212 (java) S 12200 12200 5131 0 -1 1077944384 24198 0 0 0 297 3 0 0 20 0 15 0 10692255 14316269568 36991 18446744073709551615 4194304 4196468 140732343084080 139904586148464 139905111788162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12213] ppid=12200 vsize=13980732 CPUtime=2.89 cores=1,3,5,7
/proc/12202/task/12213/stat : 12213 (java) S 12200 12200 5131 0 -1 1077944384 12493 0 0 0 287 2 0 0 20 0 15 0 10692255 14316269568 36991 18446744073709551615 4194304 4196468 140732343084080 139904585095664 139905111788162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12214] ppid=12200 vsize=13980732 CPUtime=0.67 cores=1,3,5,7
/proc/12202/task/12214/stat : 12214 (java) S 12200 12200 5131 0 -1 1077944384 4499 0 0 0 66 1 0 0 20 0 15 0 10692255 14316269568 36991 18446744073709551615 4194304 4196468 140732343084080 139904584043376 139905111788162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12215] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12215/stat : 12215 (java) S 12200 12200 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10692255 14316269568 36991 18446744073709551615 4194304 4196468 140732343084080 139904582990816 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12216] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12216/stat : 12216 (java) S 12200 12200 5131 0 -1 1077944384 1117 0 0 0 0 0 0 0 20 0 15 0 10692258 14316269568 36991 18446744073709551615 4194304 4196468 140732343084080 139904581937584 139905111788162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
Current children cumulated CPU time (s) 12.77
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.65 1.75 1.77 3/211 12216
/proc/meminfo: memFree=31413552/32770624 swapFree=0/192312
[pid=12200] ppid=12197 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12200/stat : 12200 (xcsp3-exec) S 12197 12200 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10692243 9740288 345 18446744073709551615 4194304 5098028 140728294651792 140728294649896 140099661177468 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 20099072 140728294654363 140728294654567 140728294654567 140728294658027 0
/proc/12200/statm: 2378 345 289 221 0 87 0
[pid=12202] ppid=12200 vsize=13980732 CPUtime=20.01 cores=1,3,5,7
/proc/12202/stat : 12202 (java) S 12200 12200 5131 0 -1 1077944320 63551 0 0 0 1988 13 0 0 20 0 15 0 10692249 14316269568 40282 18446744073709551615 4194304 4196468 140732343084080 140732343066624 139905111777015 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
/proc/12202/statm: 3495183 40282 3193 1 0 3483484 0
[pid=12202/tid=12203] ppid=12200 vsize=13980732 CPUtime=12.57 cores=1,3,5,7
/proc/12202/task/12203/stat : 12203 (java) R 12200 12200 5131 0 -1 4202560 12709 0 0 0 1253 4 0 0 20 0 15 0 10692249 14316269568 40282 18446744073709551615 4194304 4196468 140732343084080 139905116014152 139904756362021 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12204] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12204/stat : 12204 (java) S 12200 12200 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10692250 14316269568 40282 18446744073709551615 4194304 4196468 140732343084080 139905072675728 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12205] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12205/stat : 12205 (java) S 12200 12200 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10692250 14316269568 40282 18446744073709551615 4194304 4196468 140732343084080 139905071622928 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
################
# More data... #
################
/proc/12202/stat : 12202 (java) S 12200 12200 5131 0 -1 1077944320 90614 0 0 0 11145 19 0 0 20 0 15 0 10692249 14316269568 62536 18446744073709551615 4194304 4196468 140732343084080 140732343066624 139905111777015 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
/proc/12202/statm: 3495183 62536 3224 1 0 3483484 0
[pid=12202/tid=12203] ppid=12200 vsize=13980732 CPUtime=102.15 cores=1,3,5,7
/proc/12202/task/12203/stat : 12203 (java) R 12200 12200 5131 0 -1 4202560 15834 0 0 0 10210 5 0 0 20 0 15 0 10692249 14316269568 62536 18446744073709551615 4194304 4196468 140732343084080 139905116014520 139904758831279 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12204] ppid=12200 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/12202/task/12204/stat : 12204 (java) S 12200 12200 5131 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 15 0 10692250 14316269568 62536 18446744073709551615 4194304 4196468 140732343084080 139905072675728 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12205] ppid=12200 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/12202/task/12205/stat : 12205 (java) S 12200 12200 5131 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 15 0 10692250 14316269568 62536 18446744073709551615 4194304 4196468 140732343084080 139905071622928 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12206] ppid=12200 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/12202/task/12206/stat : 12206 (java) S 12200 12200 5131 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 15 0 10692250 14316269568 62536 18446744073709551615 4194304 4196468 140732343084080 139904709749904 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12207] ppid=12200 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/12202/task/12207/stat : 12207 (java) S 12200 12200 5131 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 15 0 10692250 14316269568 62536 18446744073709551615 4194304 4196468 140732343084080 139904708697104 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12208] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12208/stat : 12208 (java) S 12200 12200 5131 0 -1 1077944384 539 0 0 0 0 0 0 0 20 0 15 0 10692251 14316269568 62536 18446744073709551615 4194304 4196468 140732343084080 139904590358640 139905111788162 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12209] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12209/stat : 12209 (java) S 12200 12200 5131 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10692252 14316269568 62536 18446744073709551615 4194304 4196468 140732343084080 139904589304608 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12210] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12210/stat : 12210 (java) S 12200 12200 5131 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 10692252 14316269568 62536 18446744073709551615 4194304 4196468 140732343084080 139904588252272 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12211] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12211/stat : 12211 (java) S 12200 12200 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10692255 14316269568 62536 18446744073709551615 4194304 4196468 140732343084080 139904587200592 139905111795611 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12212] ppid=12200 vsize=13980732 CPUtime=4.32 cores=1,3,5,7
/proc/12202/task/12212/stat : 12212 (java) S 12200 12200 5131 0 -1 1077944384 38200 0 0 0 429 3 0 0 20 0 15 0 10692255 14316269568 62536 18446744073709551615 4194304 4196468 140732343084080 139904586148464 139905111788162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12213] ppid=12200 vsize=13980732 CPUtime=4.23 cores=1,3,5,7
/proc/12202/task/12213/stat : 12213 (java) S 12200 12200 5131 0 -1 1077944384 25166 0 0 0 420 3 0 0 20 0 15 0 10692255 14316269568 62536 18446744073709551615 4194304 4196468 140732343084080 139904585095664 139905111788162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12214] ppid=12200 vsize=13980732 CPUtime=0.79 cores=1,3,5,7
/proc/12202/task/12214/stat : 12214 (java) S 12200 12200 5131 0 -1 1077944384 7740 0 0 0 77 2 0 0 20 0 15 0 10692255 14316269568 62536 18446744073709551615 4194304 4196468 140732343084080 139904584043376 139905111788162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12215] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12215/stat : 12215 (java) S 12200 12200 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10692255 14316269568 62536 18446744073709551615 4194304 4196468 140732343084080 139904582990816 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12216] ppid=12200 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/12202/task/12216/stat : 12216 (java) S 12200 12200 5131 0 -1 1077944384 1261 0 0 0 1 1 0 0 20 0 15 0 10692258 14316269568 62536 18446744073709551615 4194304 4196468 140732343084080 139904581937584 139905111788162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
Current children cumulated CPU time (s) 111.64
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.96 1.86 1.80 3/211 12226
/proc/meminfo: memFree=31224084/32770624 swapFree=0/192432
[pid=12200] ppid=12197 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12200/stat : 12200 (xcsp3-exec) S 12197 12200 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10692243 9740288 345 18446744073709551615 4194304 5098028 140728294651792 140728294649896 140099661177468 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 20099072 140728294654363 140728294654567 140728294654567 140728294658027 0
/proc/12200/statm: 2378 345 289 221 0 87 0
[pid=12202] ppid=12200 vsize=13980732 CPUtime=172.1 cores=1,3,5,7
/proc/12202/stat : 12202 (java) S 12200 12200 5131 0 -1 1077944320 95959 0 0 0 17186 24 0 0 20 0 15 0 10692249 14316269568 69327 18446744073709551615 4194304 4196468 140732343084080 140732343066624 139905111777015 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
/proc/12202/statm: 3495183 69327 3225 1 0 3483484 0
[pid=12202/tid=12203] ppid=12200 vsize=13980732 CPUtime=162.11 cores=1,3,5,7
/proc/12202/task/12203/stat : 12203 (java) R 12200 12200 5131 0 -1 4202560 16763 0 0 0 16206 5 0 0 20 0 15 0 10692249 14316269568 69327 18446744073709551615 4194304 4196468 140732343084080 139905116015896 139904756361143 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12204] ppid=12200 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/12202/task/12204/stat : 12204 (java) S 12200 12200 5131 0 -1 1077944384 341 0 0 0 3 1 0 0 20 0 15 0 10692250 14316269568 69327 18446744073709551615 4194304 4196468 140732343084080 139905072675728 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12205] ppid=12200 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/12202/task/12205/stat : 12205 (java) S 12200 12200 5131 0 -1 1077944384 346 0 0 0 2 1 0 0 20 0 15 0 10692250 14316269568 69327 18446744073709551615 4194304 4196468 140732343084080 139905071622928 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12206] ppid=12200 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/12202/task/12206/stat : 12206 (java) S 12200 12200 5131 0 -1 1077944384 226 0 0 0 2 1 0 0 20 0 15 0 10692250 14316269568 69327 18446744073709551615 4194304 4196468 140732343084080 139904709749904 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12207] ppid=12200 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/12202/task/12207/stat : 12207 (java) S 12200 12200 5131 0 -1 1077944384 252 0 0 0 3 1 0 0 20 0 15 0 10692250 14316269568 69327 18446744073709551615 4194304 4196468 140732343084080 139904708697104 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12208] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12208/stat : 12208 (java) S 12200 12200 5131 0 -1 1077944384 707 0 0 0 0 0 0 0 20 0 15 0 10692251 14316269568 69327 18446744073709551615 4194304 4196468 140732343084080 139904590358640 139905111788162 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12209] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12209/stat : 12209 (java) S 12200 12200 5131 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10692252 14316269568 69327 18446744073709551615 4194304 4196468 140732343084080 139904589304608 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12210] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12210/stat : 12210 (java) S 12200 12200 5131 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 10692252 14316269568 69327 18446744073709551615 4194304 4196468 140732343084080 139904588252272 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12211] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12211/stat : 12211 (java) S 12200 12200 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10692255 14316269568 69327 18446744073709551615 4194304 4196468 140732343084080 139904587200592 139905111795611 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12212] ppid=12200 vsize=13980732 CPUtime=4.5 cores=1,3,5,7
/proc/12202/task/12212/stat : 12212 (java) S 12200 12200 5131 0 -1 1077944384 39377 0 0 0 447 3 0 0 20 0 15 0 10692255 14316269568 69327 18446744073709551615 4194304 4196468 140732343084080 139904586148464 139905111788162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12213] ppid=12200 vsize=13980732 CPUtime=4.41 cores=1,3,5,7
/proc/12202/task/12213/stat : 12213 (java) S 12200 12200 5131 0 -1 1077944384 26871 0 0 0 438 3 0 0 20 0 15 0 10692255 14316269568 69327 18446744073709551615 4194304 4196468 140732343084080 139904585095664 139905111788162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12214] ppid=12200 vsize=13980732 CPUtime=0.8 cores=1,3,5,7
/proc/12202/task/12214/stat : 12214 (java) S 12200 12200 5131 0 -1 1077944384 8437 0 0 0 78 2 0 0 20 0 15 0 10692255 14316269568 69327 18446744073709551615 4194304 4196468 140732343084080 139904584043376 139905111788162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12215] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12215/stat : 12215 (java) S 12200 12200 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10692255 14316269568 69327 18446744073709551615 4194304 4196468 140732343084080 139904582990816 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12216] ppid=12200 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/12202/task/12216/stat : 12216 (java) S 12200 12200 5131 0 -1 1077944384 1291 0 0 0 2 3 0 0 20 0 15 0 10692258 14316269568 69327 18446744073709551615 4194304 4196468 140732343084080 139904581937584 139905111788162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
Current children cumulated CPU time (s) 172.1
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.92 1.87 1.81 3/209 12259
/proc/meminfo: memFree=31663420/32770624 swapFree=0/192472
[pid=12200] ppid=12197 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12200/stat : 12200 (xcsp3-exec) S 12197 12200 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10692243 9740288 345 18446744073709551615 4194304 5098028 140728294651792 140728294649896 140099661177468 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 20099072 140728294654363 140728294654567 140728294654567 140728294658027 0
/proc/12200/statm: 2378 345 289 221 0 87 0
[pid=12202] ppid=12200 vsize=13980732 CPUtime=232.22 cores=1,3,5,7
/proc/12202/stat : 12202 (java) S 12200 12200 5131 0 -1 1077944320 97925 0 0 0 23195 27 0 0 20 0 15 0 10692249 14316269568 71439 18446744073709551615 4194304 4196468 140732343084080 140732343066624 139905111777015 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
/proc/12202/statm: 3495183 71439 3225 1 0 3483484 0
[pid=12202/tid=12203] ppid=12200 vsize=13980732 CPUtime=222.09 cores=1,3,5,7
/proc/12202/task/12203/stat : 12203 (java) R 12200 12200 5131 0 -1 4202560 17192 0 0 0 22204 5 0 0 20 0 15 0 10692249 14316269568 71439 18446744073709551615 4194304 4196468 140732343084080 139905116015880 139904760025235 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12204] ppid=12200 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/12202/task/12204/stat : 12204 (java) S 12200 12200 5131 0 -1 1077944384 383 0 0 0 5 1 0 0 20 0 15 0 10692250 14316269568 71439 18446744073709551615 4194304 4196468 140732343084080 139905072675728 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12205] ppid=12200 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/12202/task/12205/stat : 12205 (java) S 12200 12200 5131 0 -1 1077944384 506 0 0 0 4 1 0 0 20 0 15 0 10692250 14316269568 71439 18446744073709551615 4194304 4196468 140732343084080 139905071622928 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12206] ppid=12200 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/12202/task/12206/stat : 12206 (java) S 12200 12200 5131 0 -1 1077944384 383 0 0 0 4 2 0 0 20 0 15 0 10692250 14316269568 71439 18446744073709551615 4194304 4196468 140732343084080 139904709749904 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12207] ppid=12200 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/12202/task/12207/stat : 12207 (java) S 12200 12200 5131 0 -1 1077944384 906 0 0 0 5 1 0 0 20 0 15 0 10692250 14316269568 71439 18446744073709551615 4194304 4196468 140732343084080 139904708697104 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12208] ppid=12200 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/12202/task/12208/stat : 12208 (java) S 12200 12200 5131 0 -1 1077944384 864 0 0 0 1 0 0 0 20 0 15 0 10692251 14316269568 71439 18446744073709551615 4194304 4196468 140732343084080 139904590358640 139905111788162 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12209] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12209/stat : 12209 (java) S 12200 12200 5131 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10692252 14316269568 71439 18446744073709551615 4194304 4196468 140732343084080 139904589304608 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12210] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12210/stat : 12210 (java) S 12200 12200 5131 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 10692252 14316269568 71439 18446744073709551615 4194304 4196468 140732343084080 139904588252272 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12211] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12211/stat : 12211 (java) S 12200 12200 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10692255 14316269568 71439 18446744073709551615 4194304 4196468 140732343084080 139904587200592 139905111795611 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12212] ppid=12200 vsize=13980732 CPUtime=4.5 cores=1,3,5,7
/proc/12202/task/12212/stat : 12212 (java) S 12200 12200 5131 0 -1 1077944384 39381 0 0 0 447 3 0 0 20 0 15 0 10692255 14316269568 71439 18446744073709551615 4194304 4196468 140732343084080 139904586148464 139905111788162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12213] ppid=12200 vsize=13980732 CPUtime=4.44 cores=1,3,5,7
/proc/12202/task/12213/stat : 12213 (java) S 12200 12200 5131 0 -1 1077944384 26984 0 0 0 441 3 0 0 20 0 15 0 10692255 14316269568 71439 18446744073709551615 4194304 4196468 140732343084080 139904585095664 139905111788162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12214] ppid=12200 vsize=13980732 CPUtime=0.8 cores=1,3,5,7
/proc/12202/task/12214/stat : 12214 (java) S 12200 12200 5131 0 -1 1077944384 8674 0 0 0 78 2 0 0 20 0 15 0 10692255 14316269568 71439 18446744073709551615 4194304 4196468 140732343084080 139904584043376 139905111788162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12215] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12215/stat : 12215 (java) S 12200 12200 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10692255 14316269568 71439 18446744073709551615 4194304 4196468 140732343084080 139904582990816 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12216] ppid=12200 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/12202/task/12216/stat : 12216 (java) S 12200 12200 5131 0 -1 1077944384 1304 0 0 0 3 5 0 0 20 0 15 0 10692258 14316269568 71439 18446744073709551615 4194304 4196468 140732343084080 139904581937584 139905111788162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
Current children cumulated CPU time (s) 232.22
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.07 1.91 1.82 4/211 12307
/proc/meminfo: memFree=31256412/32770624 swapFree=0/192524
[pid=12200] ppid=12197 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12200/stat : 12200 (xcsp3-exec) S 12197 12200 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10692243 9740288 345 18446744073709551615 4194304 5098028 140728294651792 140728294649896 140099661177468 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 20099072 140728294654363 140728294654567 140728294654567 140728294658027 0
/proc/12200/statm: 2378 345 289 221 0 87 0
[pid=12202] ppid=12200 vsize=13980732 CPUtime=249.94 cores=1,3,5,7
/proc/12202/stat : 12202 (java) S 12200 12200 5131 0 -1 1077944320 98929 0 0 0 24966 28 0 0 20 0 15 0 10692249 14316269568 71447 18446744073709551615 4194304 4196468 140732343084080 140732343066624 139905111777015 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
/proc/12202/statm: 3495183 71447 3225 1 0 3483484 0
[pid=12202/tid=12203] ppid=12200 vsize=13980732 CPUtime=239.78 cores=1,3,5,7
/proc/12202/task/12203/stat : 12203 (java) R 12200 12200 5131 0 -1 4202560 17917 0 0 0 23973 5 0 0 20 0 15 0 10692249 14316269568 71447 18446744073709551615 4194304 4196468 140732343084080 139905116015880 139904759702161 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12204] ppid=12200 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/12202/task/12204/stat : 12204 (java) S 12200 12200 5131 0 -1 1077944384 383 0 0 0 5 1 0 0 20 0 15 0 10692250 14316269568 71447 18446744073709551615 4194304 4196468 140732343084080 139905072675728 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12205] ppid=12200 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/12202/task/12205/stat : 12205 (java) S 12200 12200 5131 0 -1 1077944384 506 0 0 0 4 1 0 0 20 0 15 0 10692250 14316269568 71447 18446744073709551615 4194304 4196468 140732343084080 139905071622928 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12206] ppid=12200 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/12202/task/12206/stat : 12206 (java) S 12200 12200 5131 0 -1 1077944384 383 0 0 0 4 2 0 0 20 0 15 0 10692250 14316269568 71447 18446744073709551615 4194304 4196468 140732343084080 139904709749904 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12207] ppid=12200 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/12202/task/12207/stat : 12207 (java) S 12200 12200 5131 0 -1 1077944384 906 0 0 0 5 1 0 0 20 0 15 0 10692250 14316269568 71447 18446744073709551615 4194304 4196468 140732343084080 139904708697104 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12208] ppid=12200 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/12202/task/12208/stat : 12208 (java) S 12200 12200 5131 0 -1 1077944384 867 0 0 0 1 0 0 0 20 0 15 0 10692251 14316269568 71447 18446744073709551615 4194304 4196468 140732343084080 139904590358640 139905111788162 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12209] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12209/stat : 12209 (java) S 12200 12200 5131 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10692252 14316269568 71447 18446744073709551615 4194304 4196468 140732343084080 139904589304608 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12210] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12210/stat : 12210 (java) S 12200 12200 5131 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 10692252 14316269568 71447 18446744073709551615 4194304 4196468 140732343084080 139904588252272 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12211] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12211/stat : 12211 (java) S 12200 12200 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10692255 14316269568 71447 18446744073709551615 4194304 4196468 140732343084080 139904587200592 139905111795611 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12212] ppid=12200 vsize=13980732 CPUtime=4.5 cores=1,3,5,7
/proc/12202/task/12212/stat : 12212 (java) S 12200 12200 5131 0 -1 1077944384 39382 0 0 0 447 3 0 0 20 0 15 0 10692255 14316269568 71447 18446744073709551615 4194304 4196468 140732343084080 139904586148464 139905111788162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12213] ppid=12200 vsize=13980732 CPUtime=4.44 cores=1,3,5,7
/proc/12202/task/12213/stat : 12213 (java) S 12200 12200 5131 0 -1 1077944384 26989 0 0 0 441 3 0 0 20 0 15 0 10692255 14316269568 71447 18446744073709551615 4194304 4196468 140732343084080 139904585095664 139905111788162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12214] ppid=12200 vsize=13980732 CPUtime=0.8 cores=1,3,5,7
/proc/12202/task/12214/stat : 12214 (java) S 12200 12200 5131 0 -1 1077944384 8921 0 0 0 78 2 0 0 20 0 15 0 10692255 14316269568 71447 18446744073709551615 4194304 4196468 140732343084080 139904584043376 139905111788162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12215] ppid=12200 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12202/task/12215/stat : 12215 (java) S 12200 12200 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10692255 14316269568 71447 18446744073709551615 4194304 4196468 140732343084080 139904582990816 139905111787221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
[pid=12202/tid=12216] ppid=12200 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/12202/task/12216/stat : 12216 (java) S 12200 12200 5131 0 -1 1077944384 1327 0 0 0 3 5 0 0 20 0 15 0 10692258 14316269568 71447 18446744073709551615 4194304 4196468 140732343084080 139904581937584 139905111788162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38182912 140732343091668 140732343091843 140732343091843 140732343095247 0
Current children cumulated CPU time (s) 249.94
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 12202 sig 9
??? kill 12200 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.014
CPU time (s): 249.958
CPU user time (s): 249.67
CPU system time (s): 0.287958
CPU usage (%): 104.143
Max. virtual memory (cumulated for all children) (KiB): 13993056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.67
system time used= 0.287958
maximum resident set size= 286420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99930
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8722
involuntary context switches= 147
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.16234 second user time and 1.4052 second system time
The end