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-4253929-1501617140/watcher-4253929-1501617140 -o /tmp/evaluation-result-4253929-1501617140/solver-4253929-1501617140 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501611152-5191 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 635514939 HOME/instance-4253929-1501617140.xml
pid=9411
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.93 1.89 1.86 3/195 9414
/proc/meminfo: memFree=31481924/32770624 swapFree=0/188756
[pid=9414] ppid=9411 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/9414/stat : 9414 (runsolver) D 9411 9414 5131 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10334263 24240128 108 18446744073709551615 4194304 4338465 140726918479200 140726918476840 139689591456471 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 23379968 140726918484062 140726918484550 140726918484550 140726918488010 0
/proc/9414/statm: 5918 108 54 36 0 2156 0
[startup+0.100151 s]
/proc/loadavg: 1.93 1.89 1.86 3/195 9414
/proc/meminfo: memFree=31481924/32770624 swapFree=0/188756
[pid=9414] ppid=9411 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/9414/stat : 9414 (runsolver) D 9411 9414 5131 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10334263 24240128 108 18446744073709551615 4194304 4338465 140726918479200 140726918476840 139689591456471 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 23379968 140726918484062 140726918484550 140726918484550 140726918488010 0
/proc/9414/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200314 s]
/proc/loadavg: 1.93 1.89 1.86 3/195 9414
/proc/meminfo: memFree=31481924/32770624 swapFree=0/188756
[pid=9414] ppid=9411 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9414/stat : 9414 (xcsp3-exec) S 9411 9414 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10334263 9740288 345 18446744073709551615 4194304 5098028 140720324216224 140720324214328 140399307944572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 8687616 140720324219292 140720324219495 140720324219495 140720324222955 0
/proc/9414/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300779 s]
/proc/loadavg: 1.93 1.89 1.86 3/195 9414
/proc/meminfo: memFree=31481924/32770624 swapFree=0/188756
[pid=9414] ppid=9411 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9414/stat : 9414 (xcsp3-exec) S 9411 9414 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10334263 9740288 345 18446744073709551615 4194304 5098028 140720324216224 140720324214328 140399307944572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 8687616 140720324219292 140720324219495 140720324219495 140720324222955 0
/proc/9414/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701183 s]
/proc/loadavg: 1.93 1.89 1.86 3/195 9414
/proc/meminfo: memFree=31481924/32770624 swapFree=0/188756
[pid=9414] ppid=9411 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9414/stat : 9414 (xcsp3-exec) S 9411 9414 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10334263 9740288 345 18446744073709551615 4194304 5098028 140720324216224 140720324214328 140399307944572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 8687616 140720324219292 140720324219495 140720324219495 140720324222955 0
/proc/9414/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50074 s]
/proc/loadavg: 1.93 1.89 1.86 3/211 9430
/proc/meminfo: memFree=31423044/32770624 swapFree=0/188568
[pid=9414] ppid=9411 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9414/stat : 9414 (xcsp3-exec) S 9411 9414 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10334263 9740288 345 18446744073709551615 4194304 5098028 140720324216224 140720324214328 140399307944572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 8687616 140720324219292 140720324219495 140720324219495 140720324222955 0
/proc/9414/statm: 2378 345 289 221 0 87 0
[pid=9416] ppid=9414 vsize=13980732 CPUtime=2.5 cores=0,2,4,6
/proc/9416/stat : 9416 (java) S 9414 9414 5131 0 -1 1077944320 15165 0 0 0 245 5 0 0 20 0 15 0 10334273 14316269568 18593 18446744073709551615 4194304 4196468 140721444066208 140721444048752 139958712139511 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
/proc/9416/statm: 3495183 18593 3168 1 0 3483484 0
[pid=9416/tid=9417] ppid=9414 vsize=13980732 CPUtime=1.28 cores=0,2,4,6
/proc/9416/task/9417/stat : 9417 (java) R 9414 9414 5131 0 -1 4202560 8449 0 0 0 125 3 0 0 20 0 15 0 10334274 14316269568 18593 18446744073709551615 4194304 4196468 140721444066208 139958716376408 139958307741334 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9418] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9418/stat : 9418 (java) S 9414 9414 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 18593 18446744073709551615 4194304 4196468 140721444066208 139958631554192 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9419] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9419/stat : 9419 (java) S 9414 9414 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 18593 18446744073709551615 4194304 4196468 140721444066208 139958630501392 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9420] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9420/stat : 9420 (java) S 9414 9414 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 18593 18446744073709551615 4194304 4196468 140721444066208 139958629448592 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9421] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9421/stat : 9421 (java) S 9414 9414 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 18593 18446744073709551615 4194304 4196468 140721444066208 139958628395792 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9422] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9422/stat : 9422 (java) S 9414 9414 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10334276 14316269568 18593 18446744073709551615 4194304 4196468 140721444066208 139958190324080 139958712150658 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9423] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9423/stat : 9423 (java) S 9414 9414 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10334276 14316269568 18593 18446744073709551615 4194304 4196468 140721444066208 139958189270048 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9424] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9424/stat : 9424 (java) S 9414 9414 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10334276 14316269568 18593 18446744073709551615 4194304 4196468 140721444066208 139958188217200 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9425] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9425/stat : 9425 (java) S 9414 9414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10334279 14316269568 18593 18446744073709551615 4194304 4196468 140721444066208 139958187165520 139958712158107 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9426] ppid=9414 vsize=13980732 CPUtime=0.38 cores=0,2,4,6
/proc/9416/task/9426/stat : 9426 (java) S 9414 9414 5131 0 -1 1077944384 1535 0 0 0 38 0 0 0 20 0 15 0 10334279 14316269568 18593 18446744073709551615 4194304 4196468 140721444066208 139958186113904 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9427] ppid=9414 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/9416/task/9427/stat : 9427 (java) S 9414 9414 5131 0 -1 1077944384 1951 0 0 0 48 0 0 0 20 0 15 0 10334279 14316269568 18593 18446744073709551615 4194304 4196468 140721444066208 139958185061104 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9428] ppid=9414 vsize=13980732 CPUtime=0.32 cores=0,2,4,6
/proc/9416/task/9428/stat : 9428 (java) S 9414 9414 5131 0 -1 1077944384 1901 0 0 0 32 0 0 0 20 0 15 0 10334279 14316269568 18593 18446744073709551615 4194304 4196468 140721444066208 139958184008304 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9429] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9429/stat : 9429 (java) S 9414 9414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10334279 14316269568 18593 18446744073709551615 4194304 4196468 140721444066208 139958182955744 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9430] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9430/stat : 9430 (java) S 9414 9414 5131 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10334288 14316269568 18593 18446744073709551615 4194304 4196468 140721444066208 139958181903024 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 13990244
[startup+3.10075 s]
/proc/loadavg: 1.93 1.89 1.86 3/211 9430
/proc/meminfo: memFree=31414296/32770624 swapFree=0/188568
[pid=9414] ppid=9411 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9414/stat : 9414 (xcsp3-exec) S 9411 9414 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10334263 9740288 345 18446744073709551615 4194304 5098028 140720324216224 140720324214328 140399307944572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 8687616 140720324219292 140720324219495 140720324219495 140720324222955 0
/proc/9414/statm: 2378 345 289 221 0 87 0
[pid=9416] ppid=9414 vsize=13980732 CPUtime=5.3 cores=0,2,4,6
/proc/9416/stat : 9416 (java) S 9414 9414 5131 0 -1 1077944320 22137 0 0 0 524 6 0 0 20 0 15 0 10334273 14316269568 21770 18446744073709551615 4194304 4196468 140721444066208 140721444048752 139958712139511 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
/proc/9416/statm: 3495183 21770 3170 1 0 3483484 0
[pid=9416/tid=9417] ppid=9414 vsize=13980732 CPUtime=2.88 cores=0,2,4,6
/proc/9416/task/9417/stat : 9417 (java) R 9414 9414 5131 0 -1 4202560 8518 0 0 0 285 3 0 0 20 0 15 0 10334274 14316269568 21770 18446744073709551615 4194304 4196468 140721444066208 139958716378952 139958307683210 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9418] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9418/stat : 9418 (java) S 9414 9414 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 21770 18446744073709551615 4194304 4196468 140721444066208 139958631554192 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9419] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9419/stat : 9419 (java) S 9414 9414 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 21770 18446744073709551615 4194304 4196468 140721444066208 139958630501392 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9420] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9420/stat : 9420 (java) S 9414 9414 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 21770 18446744073709551615 4194304 4196468 140721444066208 139958629448592 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9421] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9421/stat : 9421 (java) S 9414 9414 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 21770 18446744073709551615 4194304 4196468 140721444066208 139958628395792 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9422] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9422/stat : 9422 (java) S 9414 9414 5131 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 10334276 14316269568 21770 18446744073709551615 4194304 4196468 140721444066208 139958190324080 139958712150658 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9423] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9423/stat : 9423 (java) S 9414 9414 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10334276 14316269568 21770 18446744073709551615 4194304 4196468 140721444066208 139958189270048 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9424] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9424/stat : 9424 (java) S 9414 9414 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10334276 14316269568 21770 18446744073709551615 4194304 4196468 140721444066208 139958188217200 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9425] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9425/stat : 9425 (java) S 9414 9414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10334279 14316269568 21770 18446744073709551615 4194304 4196468 140721444066208 139958187165520 139958712158107 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9426] ppid=9414 vsize=13980732 CPUtime=1.01 cores=0,2,4,6
/proc/9416/task/9426/stat : 9426 (java) S 9414 9414 5131 0 -1 1077944384 5944 0 0 0 100 1 0 0 20 0 15 0 10334279 14316269568 21770 18446744073709551615 4194304 4196468 140721444066208 139958186113904 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9427] ppid=9414 vsize=13980732 CPUtime=1.04 cores=0,2,4,6
/proc/9416/task/9427/stat : 9427 (java) S 9414 9414 5131 0 -1 1077944384 4255 0 0 0 104 0 0 0 20 0 15 0 10334279 14316269568 21770 18446744073709551615 4194304 4196468 140721444066208 139958185061104 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9428] ppid=9414 vsize=13980732 CPUtime=0.34 cores=0,2,4,6
/proc/9416/task/9428/stat : 9428 (java) S 9414 9414 5131 0 -1 1077944384 2059 0 0 0 34 0 0 0 20 0 15 0 10334279 14316269568 21770 18446744073709551615 4194304 4196468 140721444066208 139958184008304 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9429] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9429/stat : 9429 (java) S 9414 9414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10334279 14316269568 21770 18446744073709551615 4194304 4196468 140721444066208 139958182955744 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9430] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9430/stat : 9430 (java) S 9414 9414 5131 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10334288 14316269568 21770 18446744073709551615 4194304 4196468 140721444066208 139958181903024 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
Current children cumulated CPU time (s) 5.3
Current children cumulated vsize (KiB) 13990244
[startup+6.3007 s]
/proc/loadavg: 1.93 1.90 1.86 3/211 9430
/proc/meminfo: memFree=31403648/32770624 swapFree=0/188576
[pid=9414] ppid=9411 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9414/stat : 9414 (xcsp3-exec) S 9411 9414 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10334263 9740288 345 18446744073709551615 4194304 5098028 140720324216224 140720324214328 140399307944572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 8687616 140720324219292 140720324219495 140720324219495 140720324222955 0
/proc/9414/statm: 2378 345 289 221 0 87 0
[pid=9416] ppid=9414 vsize=13980732 CPUtime=8.68 cores=0,2,4,6
/proc/9416/stat : 9416 (java) S 9414 9414 5131 0 -1 1077944320 24299 0 0 0 862 6 0 0 20 0 15 0 10334273 14316269568 20741 18446744073709551615 4194304 4196468 140721444066208 140721444048752 139958712139511 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
/proc/9416/statm: 3495183 20741 3175 1 0 3483484 0
[pid=9416/tid=9417] ppid=9414 vsize=13980732 CPUtime=6.08 cores=0,2,4,6
/proc/9416/task/9417/stat : 9417 (java) R 9414 9414 5131 0 -1 4202560 8898 0 0 0 605 3 0 0 20 0 15 0 10334274 14316269568 20741 18446744073709551615 4194304 4196468 140721444066208 139958716375312 139958308648029 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9418] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9418/stat : 9418 (java) S 9414 9414 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 20741 18446744073709551615 4194304 4196468 140721444066208 139958631554192 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9419] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9419/stat : 9419 (java) S 9414 9414 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 20741 18446744073709551615 4194304 4196468 140721444066208 139958630501392 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9420] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9420/stat : 9420 (java) S 9414 9414 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 20741 18446744073709551615 4194304 4196468 140721444066208 139958629448592 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9421] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9421/stat : 9421 (java) S 9414 9414 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 20741 18446744073709551615 4194304 4196468 140721444066208 139958628395792 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9422] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9422/stat : 9422 (java) S 9414 9414 5131 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 15 0 10334276 14316269568 20741 18446744073709551615 4194304 4196468 140721444066208 139958190324080 139958712150658 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9423] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9423/stat : 9423 (java) S 9414 9414 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10334276 14316269568 20741 18446744073709551615 4194304 4196468 140721444066208 139958189270048 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9424] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9424/stat : 9424 (java) S 9414 9414 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10334276 14316269568 20741 18446744073709551615 4194304 4196468 140721444066208 139958188217200 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9425] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9425/stat : 9425 (java) S 9414 9414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10334279 14316269568 20741 18446744073709551615 4194304 4196468 140721444066208 139958187165520 139958712158107 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9426] ppid=9414 vsize=13980732 CPUtime=1.05 cores=0,2,4,6
/proc/9416/task/9426/stat : 9426 (java) S 9414 9414 5131 0 -1 1077944384 6697 0 0 0 104 1 0 0 20 0 15 0 10334279 14316269568 20741 18446744073709551615 4194304 4196468 140721444066208 139958186113904 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9427] ppid=9414 vsize=13980732 CPUtime=1.16 cores=0,2,4,6
/proc/9416/task/9427/stat : 9427 (java) S 9414 9414 5131 0 -1 1077944384 4276 0 0 0 116 0 0 0 20 0 15 0 10334279 14316269568 20741 18446744073709551615 4194304 4196468 140721444066208 139958185061104 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9428] ppid=9414 vsize=13980732 CPUtime=0.34 cores=0,2,4,6
/proc/9416/task/9428/stat : 9428 (java) S 9414 9414 5131 0 -1 1077944384 2193 0 0 0 34 0 0 0 20 0 15 0 10334279 14316269568 20741 18446744073709551615 4194304 4196468 140721444066208 139958184008304 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9429] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9429/stat : 9429 (java) S 9414 9414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10334279 14316269568 20741 18446744073709551615 4194304 4196468 140721444066208 139958182955744 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9430] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9430/stat : 9430 (java) S 9414 9414 5131 0 -1 1077944384 655 0 0 0 0 0 0 0 20 0 15 0 10334288 14316269568 20741 18446744073709551615 4194304 4196468 140721444066208 139958181903024 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
Current children cumulated CPU time (s) 8.68
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.94 1.90 1.86 3/211 9430
/proc/meminfo: memFree=31352020/32770624 swapFree=0/188580
[pid=9414] ppid=9411 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9414/stat : 9414 (xcsp3-exec) S 9411 9414 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10334263 9740288 345 18446744073709551615 4194304 5098028 140720324216224 140720324214328 140399307944572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 8687616 140720324219292 140720324219495 140720324219495 140720324222955 0
/proc/9414/statm: 2378 345 289 221 0 87 0
[pid=9416] ppid=9414 vsize=13980732 CPUtime=15.13 cores=0,2,4,6
/proc/9416/stat : 9416 (java) S 9414 9414 5131 0 -1 1077944320 26258 0 0 0 1507 6 0 0 20 0 15 0 10334273 14316269568 20781 18446744073709551615 4194304 4196468 140721444066208 140721444048752 139958712139511 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
/proc/9416/statm: 3495183 20781 3175 1 0 3483484 0
[pid=9416/tid=9417] ppid=9414 vsize=13980732 CPUtime=12.48 cores=0,2,4,6
/proc/9416/task/9417/stat : 9417 (java) R 9414 9414 5131 0 -1 4202560 9334 0 0 0 1245 3 0 0 20 0 15 0 10334274 14316269568 20781 18446744073709551615 4194304 4196468 140721444066208 139958716376272 139958307683034 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9418] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9418/stat : 9418 (java) S 9414 9414 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 20781 18446744073709551615 4194304 4196468 140721444066208 139958631554192 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9419] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9419/stat : 9419 (java) S 9414 9414 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 20781 18446744073709551615 4194304 4196468 140721444066208 139958630501392 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
################
# More data... #
################
/proc/9416/stat : 9416 (java) S 9414 9414 5131 0 -1 1077944320 36518 0 0 0 10536 7 0 0 20 0 15 0 10334273 14316269568 22472 18446744073709551615 4194304 4196468 140721444066208 140721444048752 139958712139511 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
/proc/9416/statm: 3495183 22472 3186 1 0 3483484 0
[pid=9416/tid=9417] ppid=9414 vsize=13980732 CPUtime=102.06 cores=0,2,4,6
/proc/9416/task/9417/stat : 9417 (java) R 9414 9414 5131 0 -1 4202560 11571 0 0 0 10203 3 0 0 20 0 15 0 10334274 14316269568 22472 18446744073709551615 4194304 4196468 140721444066208 139958716377192 139958307683113 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9418] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9418/stat : 9418 (java) S 9414 9414 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 22472 18446744073709551615 4194304 4196468 140721444066208 139958631554192 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9419] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9419/stat : 9419 (java) S 9414 9414 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 22472 18446744073709551615 4194304 4196468 140721444066208 139958630501392 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9420] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9420/stat : 9420 (java) S 9414 9414 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 22472 18446744073709551615 4194304 4196468 140721444066208 139958629448592 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9421] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9421/stat : 9421 (java) S 9414 9414 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 22472 18446744073709551615 4194304 4196468 140721444066208 139958628395792 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9422] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9422/stat : 9422 (java) S 9414 9414 5131 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 15 0 10334276 14316269568 22472 18446744073709551615 4194304 4196468 140721444066208 139958190324080 139958712150658 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9423] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9423/stat : 9423 (java) S 9414 9414 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10334276 14316269568 22472 18446744073709551615 4194304 4196468 140721444066208 139958189270048 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9424] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9424/stat : 9424 (java) S 9414 9414 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10334276 14316269568 22472 18446744073709551615 4194304 4196468 140721444066208 139958188217200 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9425] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9425/stat : 9425 (java) S 9414 9414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10334279 14316269568 22472 18446744073709551615 4194304 4196468 140721444066208 139958187165520 139958712158107 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9426] ppid=9414 vsize=13980732 CPUtime=1.4 cores=0,2,4,6
/proc/9416/task/9426/stat : 9426 (java) S 9414 9414 5131 0 -1 1077944384 10340 0 0 0 139 1 0 0 20 0 15 0 10334279 14316269568 22472 18446744073709551615 4194304 4196468 140721444066208 139958186113904 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9427] ppid=9414 vsize=13980732 CPUtime=1.5 cores=0,2,4,6
/proc/9416/task/9427/stat : 9427 (java) S 9414 9414 5131 0 -1 1077944384 8140 0 0 0 150 0 0 0 20 0 15 0 10334279 14316269568 22472 18446744073709551615 4194304 4196468 140721444066208 139958185061104 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9428] ppid=9414 vsize=13980732 CPUtime=0.39 cores=0,2,4,6
/proc/9416/task/9428/stat : 9428 (java) S 9414 9414 5131 0 -1 1077944384 3854 0 0 0 39 0 0 0 20 0 15 0 10334279 14316269568 22472 18446744073709551615 4194304 4196468 140721444066208 139958184008304 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9429] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9429/stat : 9429 (java) S 9414 9414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10334279 14316269568 22472 18446744073709551615 4194304 4196468 140721444066208 139958182955744 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9430] ppid=9414 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/9416/task/9430/stat : 9430 (java) S 9414 9414 5131 0 -1 1077944384 865 0 0 0 2 0 0 0 20 0 15 0 10334288 14316269568 22472 18446744073709551615 4194304 4196468 140721444066208 139958181903024 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
Current children cumulated CPU time (s) 105.43
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.97 1.95 1.88 3/213 9443
/proc/meminfo: memFree=31132544/32770624 swapFree=0/188684
[pid=9414] ppid=9411 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9414/stat : 9414 (xcsp3-exec) S 9411 9414 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10334263 9740288 345 18446744073709551615 4194304 5098028 140720324216224 140720324214328 140399307944572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 8687616 140720324219292 140720324219495 140720324219495 140720324222955 0
/proc/9414/statm: 2378 345 289 221 0 87 0
[pid=9416] ppid=9414 vsize=13980732 CPUtime=165.51 cores=0,2,4,6
/proc/9416/stat : 9416 (java) S 9414 9414 5131 0 -1 1077944320 39374 0 0 0 16543 8 0 0 20 0 15 0 10334273 14316269568 24539 18446744073709551615 4194304 4196468 140721444066208 140721444048752 139958712139511 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
/proc/9416/statm: 3495183 24539 3187 1 0 3483484 0
[pid=9416/tid=9417] ppid=9414 vsize=13980732 CPUtime=162.04 cores=0,2,4,6
/proc/9416/task/9417/stat : 9417 (java) R 9414 9414 5131 0 -1 4202560 11855 0 0 0 16201 3 0 0 20 0 15 0 10334274 14316269568 24539 18446744073709551615 4194304 4196468 140721444066208 139958716376312 139958308649769 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9418] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9418/stat : 9418 (java) S 9414 9414 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 24539 18446744073709551615 4194304 4196468 140721444066208 139958631554192 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9419] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9419/stat : 9419 (java) S 9414 9414 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 24539 18446744073709551615 4194304 4196468 140721444066208 139958630501392 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9420] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9420/stat : 9420 (java) S 9414 9414 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 24539 18446744073709551615 4194304 4196468 140721444066208 139958629448592 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9421] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9421/stat : 9421 (java) S 9414 9414 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 24539 18446744073709551615 4194304 4196468 140721444066208 139958628395792 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9422] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9422/stat : 9422 (java) S 9414 9414 5131 0 -1 1077944384 479 0 0 0 0 0 0 0 20 0 15 0 10334276 14316269568 24539 18446744073709551615 4194304 4196468 140721444066208 139958190324080 139958712150658 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9423] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9423/stat : 9423 (java) S 9414 9414 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10334276 14316269568 24539 18446744073709551615 4194304 4196468 140721444066208 139958189270048 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9424] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9424/stat : 9424 (java) S 9414 9414 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10334276 14316269568 24539 18446744073709551615 4194304 4196468 140721444066208 139958188217200 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9425] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9425/stat : 9425 (java) S 9414 9414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10334279 14316269568 24539 18446744073709551615 4194304 4196468 140721444066208 139958187165520 139958712158107 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9426] ppid=9414 vsize=13980732 CPUtime=1.41 cores=0,2,4,6
/proc/9416/task/9426/stat : 9426 (java) S 9414 9414 5131 0 -1 1077944384 10825 0 0 0 140 1 0 0 20 0 15 0 10334279 14316269568 24539 18446744073709551615 4194304 4196468 140721444066208 139958186113904 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9427] ppid=9414 vsize=13980732 CPUtime=1.57 cores=0,2,4,6
/proc/9416/task/9427/stat : 9427 (java) S 9414 9414 5131 0 -1 1077944384 9042 0 0 0 156 1 0 0 20 0 15 0 10334279 14316269568 24539 18446744073709551615 4194304 4196468 140721444066208 139958185061104 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9428] ppid=9414 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/9416/task/9428/stat : 9428 (java) S 9414 9414 5131 0 -1 1077944384 4995 0 0 0 41 0 0 0 20 0 15 0 10334279 14316269568 24539 18446744073709551615 4194304 4196468 140721444066208 139958184008304 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9429] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9429/stat : 9429 (java) S 9414 9414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10334279 14316269568 24539 18446744073709551615 4194304 4196468 140721444066208 139958182955744 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9430] ppid=9414 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/9416/task/9430/stat : 9430 (java) S 9414 9414 5131 0 -1 1077944384 876 0 0 0 2 1 0 0 20 0 15 0 10334288 14316269568 24539 18446744073709551615 4194304 4196468 140721444066208 139958181903024 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
Current children cumulated CPU time (s) 165.51
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 2.10 2.00 1.90 3/213 9522
/proc/meminfo: memFree=31423208/32770624 swapFree=0/188784
[pid=9414] ppid=9411 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9414/stat : 9414 (xcsp3-exec) S 9411 9414 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10334263 9740288 345 18446744073709551615 4194304 5098028 140720324216224 140720324214328 140399307944572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 8687616 140720324219292 140720324219495 140720324219495 140720324222955 0
/proc/9414/statm: 2378 345 289 221 0 87 0
[pid=9416] ppid=9414 vsize=13980732 CPUtime=225.68 cores=0,2,4,6
/proc/9416/stat : 9416 (java) S 9414 9414 5131 0 -1 1077944320 43226 0 0 0 22559 9 0 0 20 0 15 0 10334273 14316269568 26122 18446744073709551615 4194304 4196468 140721444066208 140721444048752 139958712139511 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
/proc/9416/statm: 3495183 26122 3190 1 0 3483484 0
[pid=9416/tid=9417] ppid=9414 vsize=13980732 CPUtime=222.03 cores=0,2,4,6
/proc/9416/task/9417/stat : 9417 (java) R 9414 9414 5131 0 -1 4202560 12398 0 0 0 22199 4 0 0 20 0 15 0 10334274 14316269568 26122 18446744073709551615 4194304 4196468 140721444066208 139958716375984 139958307683014 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9418] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9418/stat : 9418 (java) S 9414 9414 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 26122 18446744073709551615 4194304 4196468 140721444066208 139958631554192 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9419] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9419/stat : 9419 (java) S 9414 9414 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 26122 18446744073709551615 4194304 4196468 140721444066208 139958630501392 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9420] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9420/stat : 9420 (java) S 9414 9414 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 26122 18446744073709551615 4194304 4196468 140721444066208 139958629448592 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9421] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9421/stat : 9421 (java) S 9414 9414 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 26122 18446744073709551615 4194304 4196468 140721444066208 139958628395792 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9422] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9422/stat : 9422 (java) S 9414 9414 5131 0 -1 1077944384 540 0 0 0 0 0 0 0 20 0 15 0 10334276 14316269568 26122 18446744073709551615 4194304 4196468 140721444066208 139958190324080 139958712150658 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9423] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9423/stat : 9423 (java) S 9414 9414 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10334276 14316269568 26122 18446744073709551615 4194304 4196468 140721444066208 139958189270048 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9424] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9424/stat : 9424 (java) S 9414 9414 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10334276 14316269568 26122 18446744073709551615 4194304 4196468 140721444066208 139958188217200 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9425] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9425/stat : 9425 (java) S 9414 9414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10334279 14316269568 26122 18446744073709551615 4194304 4196468 140721444066208 139958187165520 139958712158107 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9426] ppid=9414 vsize=13980732 CPUtime=1.54 cores=0,2,4,6
/proc/9416/task/9426/stat : 9426 (java) S 9414 9414 5131 0 -1 1077944384 12822 0 0 0 153 1 0 0 20 0 15 0 10334279 14316269568 26122 18446744073709551615 4194304 4196468 140721444066208 139958186113904 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9427] ppid=9414 vsize=13980732 CPUtime=1.59 cores=0,2,4,6
/proc/9416/task/9427/stat : 9427 (java) S 9414 9414 5131 0 -1 1077944384 9855 0 0 0 158 1 0 0 20 0 15 0 10334279 14316269568 26122 18446744073709551615 4194304 4196468 140721444066208 139958185061104 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9428] ppid=9414 vsize=13980732 CPUtime=0.42 cores=0,2,4,6
/proc/9416/task/9428/stat : 9428 (java) S 9414 9414 5131 0 -1 1077944384 5352 0 0 0 42 0 0 0 20 0 15 0 10334279 14316269568 26122 18446744073709551615 4194304 4196468 140721444066208 139958184008304 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9429] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9429/stat : 9429 (java) S 9414 9414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10334279 14316269568 26122 18446744073709551615 4194304 4196468 140721444066208 139958182955744 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9430] ppid=9414 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/9416/task/9430/stat : 9430 (java) S 9414 9414 5131 0 -1 1077944384 957 0 0 0 3 2 0 0 20 0 15 0 10334288 14316269568 26122 18446744073709551615 4194304 4196468 140721444066208 139958181903024 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
Current children cumulated CPU time (s) 225.68
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.14 2.01 1.91 3/213 9523
/proc/meminfo: memFree=31420044/32770624 swapFree=0/188808
[pid=9414] ppid=9411 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9414/stat : 9414 (xcsp3-exec) S 9411 9414 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10334263 9740288 345 18446744073709551615 4194304 5098028 140720324216224 140720324214328 140399307944572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 8687616 140720324219292 140720324219495 140720324219495 140720324222955 0
/proc/9414/statm: 2378 345 289 221 0 87 0
[pid=9416] ppid=9414 vsize=13980732 CPUtime=243.39 cores=0,2,4,6
/proc/9416/stat : 9416 (java) S 9414 9414 5131 0 -1 1077944320 43285 0 0 0 24329 10 0 0 20 0 15 0 10334273 14316269568 26634 18446744073709551615 4194304 4196468 140721444066208 140721444048752 139958712139511 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
/proc/9416/statm: 3495183 26634 3190 1 0 3483484 0
[pid=9416/tid=9417] ppid=9414 vsize=13980732 CPUtime=239.72 cores=0,2,4,6
/proc/9416/task/9417/stat : 9417 (java) R 9414 9414 5131 0 -1 4202560 12431 0 0 0 23968 4 0 0 20 0 15 0 10334274 14316269568 26634 18446744073709551615 4194304 4196468 140721444066208 139958716376952 139958308139968 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9418] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9418/stat : 9418 (java) S 9414 9414 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 26634 18446744073709551615 4194304 4196468 140721444066208 139958631554192 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9419] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9419/stat : 9419 (java) S 9414 9414 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 26634 18446744073709551615 4194304 4196468 140721444066208 139958630501392 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9420] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9420/stat : 9420 (java) S 9414 9414 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 26634 18446744073709551615 4194304 4196468 140721444066208 139958629448592 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9421] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9421/stat : 9421 (java) S 9414 9414 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10334274 14316269568 26634 18446744073709551615 4194304 4196468 140721444066208 139958628395792 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9422] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9422/stat : 9422 (java) S 9414 9414 5131 0 -1 1077944384 540 0 0 0 0 0 0 0 20 0 15 0 10334276 14316269568 26634 18446744073709551615 4194304 4196468 140721444066208 139958190324080 139958712150658 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9423] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9423/stat : 9423 (java) S 9414 9414 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10334276 14316269568 26634 18446744073709551615 4194304 4196468 140721444066208 139958189270048 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9424] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9424/stat : 9424 (java) S 9414 9414 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10334276 14316269568 26634 18446744073709551615 4194304 4196468 140721444066208 139958188217200 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9425] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9425/stat : 9425 (java) S 9414 9414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10334279 14316269568 26634 18446744073709551615 4194304 4196468 140721444066208 139958187165520 139958712158107 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9426] ppid=9414 vsize=13980732 CPUtime=1.54 cores=0,2,4,6
/proc/9416/task/9426/stat : 9426 (java) S 9414 9414 5131 0 -1 1077944384 12822 0 0 0 153 1 0 0 20 0 15 0 10334279 14316269568 26634 18446744073709551615 4194304 4196468 140721444066208 139958186113904 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9427] ppid=9414 vsize=13980732 CPUtime=1.6 cores=0,2,4,6
/proc/9416/task/9427/stat : 9427 (java) S 9414 9414 5131 0 -1 1077944384 9879 0 0 0 159 1 0 0 20 0 15 0 10334279 14316269568 26634 18446744073709551615 4194304 4196468 140721444066208 139958185061104 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9428] ppid=9414 vsize=13980732 CPUtime=0.42 cores=0,2,4,6
/proc/9416/task/9428/stat : 9428 (java) S 9414 9414 5131 0 -1 1077944384 5352 0 0 0 42 0 0 0 20 0 15 0 10334279 14316269568 26634 18446744073709551615 4194304 4196468 140721444066208 139958184008304 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9429] ppid=9414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9416/task/9429/stat : 9429 (java) S 9414 9414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10334279 14316269568 26634 18446744073709551615 4194304 4196468 140721444066208 139958182955744 139958712149717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
[pid=9416/tid=9430] ppid=9414 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/9416/task/9430/stat : 9430 (java) S 9414 9414 5131 0 -1 1077944384 959 0 0 0 3 2 0 0 20 0 15 0 10334288 14316269568 26634 18446744073709551615 4194304 4196468 140721444066208 139958181903024 139958712150658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6647808 140721444073940 140721444074115 140721444074115 140721444077519 0
Current children cumulated CPU time (s) 243.39
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 9416 sig 9
??? kill 9414 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.012
CPU time (s): 243.413
CPU user time (s): 243.305
CPU system time (s): 0.107988
CPU usage (%): 101.417
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.305
system time used= 0.107988
maximum resident set size= 113316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44156
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= 7578
involuntary context switches= 326
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.42956 second user time and 0.933883 second system time
The end