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-4254283-1501612053/watcher-4254283-1501612053 -o /tmp/evaluation-result-4254283-1501612053/solver-4254283-1501612053 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501610486-5295 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 567333871 HOME/instance-4254283-1501612053.xml
pid=5839
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.80 1.74 1.08 2/199 5842
/proc/meminfo: memFree=31852088/32770624 swapFree=0/267048
[pid=5842] ppid=5839 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/5842/stat : 5842 (runsolver) D 5839 5842 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 8711068 24240128 108 18446744073709551615 4194304 4338465 140735187656416 140735187654056 139660526142167 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 31031296 140735187664990 140735187665478 140735187665478 140735187668938 0
/proc/5842/statm: 5918 108 54 36 0 2156 0
[startup+0.100172 s]
/proc/loadavg: 1.80 1.74 1.08 2/199 5842
/proc/meminfo: memFree=31852088/32770624 swapFree=0/267048
[pid=5842] ppid=5839 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5842/stat : 5842 (xcsp3-exec) S 5839 5842 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8711068 9740288 345 18446744073709551615 4194304 5098028 140726290326576 140726290324680 140107212018300 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 8994816 140726290334108 140726290334311 140726290334311 140726290337771 0
/proc/5842/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.205472 s]
/proc/loadavg: 1.80 1.74 1.08 2/199 5842
/proc/meminfo: memFree=31852088/32770624 swapFree=0/267048
[pid=5842] ppid=5839 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5842/stat : 5842 (xcsp3-exec) S 5839 5842 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8711068 9740288 345 18446744073709551615 4194304 5098028 140726290326576 140726290324680 140107212018300 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 8994816 140726290334108 140726290334311 140726290334311 140726290337771 0
/proc/5842/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.304021 s]
/proc/loadavg: 1.80 1.74 1.08 2/199 5842
/proc/meminfo: memFree=31852088/32770624 swapFree=0/267048
[pid=5842] ppid=5839 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5842/stat : 5842 (xcsp3-exec) S 5839 5842 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8711068 9740288 345 18446744073709551615 4194304 5098028 140726290326576 140726290324680 140107212018300 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 8994816 140726290334108 140726290334311 140726290334311 140726290337771 0
/proc/5842/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700456 s]
/proc/loadavg: 1.80 1.74 1.08 2/199 5842
/proc/meminfo: memFree=31852088/32770624 swapFree=0/267048
[pid=5842] ppid=5839 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5842/stat : 5842 (xcsp3-exec) S 5839 5842 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8711068 9740288 345 18446744073709551615 4194304 5098028 140726290326576 140726290324680 140107212018300 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 8994816 140726290334108 140726290334311 140726290334311 140726290337771 0
/proc/5842/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50068 s]
/proc/loadavg: 1.80 1.74 1.08 7/215 5858
/proc/meminfo: memFree=31674840/32770624 swapFree=0/266920
[pid=5842] ppid=5839 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5842/stat : 5842 (xcsp3-exec) S 5839 5842 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8711068 9740288 345 18446744073709551615 4194304 5098028 140726290326576 140726290324680 140107212018300 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 8994816 140726290334108 140726290334311 140726290334311 140726290337771 0
/proc/5842/statm: 2378 345 289 221 0 87 0
[pid=5844] ppid=5842 vsize=13980732 CPUtime=3.89 cores=1,3,5,7
/proc/5844/stat : 5844 (java) S 5842 5842 5234 0 -1 1077944320 34251 0 0 0 382 7 0 0 20 0 15 0 8711075 14316269568 32032 18446744073709551615 4194304 4196468 140721164324512 140721164307056 139628052954871 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
/proc/5844/statm: 3495183 32032 3178 1 0 3483484 0
[pid=5844/tid=5845] ppid=5842 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/5844/task/5845/stat : 5845 (java) R 5842 5842 5234 0 -1 4202560 9757 0 0 0 132 4 0 0 20 0 15 0 8711075 14316269568 32032 18446744073709551615 4194304 4196468 140721164324512 139628057193800 139627664049479 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5846] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5846/stat : 5846 (java) S 5842 5842 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 32032 18446744073709551615 4194304 4196468 140721164324512 139627987389072 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5847] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5847/stat : 5847 (java) S 5842 5842 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 32032 18446744073709551615 4194304 4196468 140721164324512 139627986336272 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5848] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5848/stat : 5848 (java) S 5842 5842 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 32032 18446744073709551615 4194304 4196468 140721164324512 139627985283472 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5849] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5849/stat : 5849 (java) S 5842 5842 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 32032 18446744073709551615 4194304 4196468 140721164324512 139627984230672 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5850] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5850/stat : 5850 (java) S 5842 5842 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8711077 14316269568 32032 18446744073709551615 4194304 4196468 140721164324512 139627531299696 139628052966018 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5851] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5851/stat : 5851 (java) S 5842 5842 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8711078 14316269568 32032 18446744073709551615 4194304 4196468 140721164324512 139627530245664 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5852] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5852/stat : 5852 (java) S 5842 5842 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8711078 14316269568 32032 18446744073709551615 4194304 4196468 140721164324512 139627529192816 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5853] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5853/stat : 5853 (java) S 5842 5842 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711080 14316269568 32032 18446744073709551615 4194304 4196468 140721164324512 139627528141136 139628052973467 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5854] ppid=5842 vsize=13980732 CPUtime=0.98 cores=1,3,5,7
/proc/5844/task/5854/stat : 5854 (java) R 5842 5842 5234 0 -1 4202560 10464 0 0 0 97 1 0 0 20 0 15 0 8711080 14316269568 32032 18446744073709551615 4194304 4196468 140721164324512 139627527074592 139628034474561 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5855] ppid=5842 vsize=13980732 CPUtime=1.01 cores=1,3,5,7
/proc/5844/task/5855/stat : 5855 (java) R 5842 5842 5234 0 -1 4202560 9450 0 0 0 100 1 0 0 20 0 15 0 8711080 14316269568 32032 18446744073709551615 4194304 4196468 140721164324512 139627526021792 139628037881264 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5856] ppid=5842 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/5844/task/5856/stat : 5856 (java) S 5842 5842 5234 0 -1 1077944384 3272 0 0 0 52 0 0 0 20 0 15 0 8711080 14316269568 32032 18446744073709551615 4194304 4196468 140721164324512 139627524982896 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5857] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5857/stat : 5857 (java) S 5842 5842 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711081 14316269568 32032 18446744073709551615 4194304 4196468 140721164324512 139627523930336 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5858] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5858/stat : 5858 (java) S 5842 5842 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711087 14316269568 32032 18446744073709551615 4194304 4196468 140721164324512 139627522878640 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 13990244
[startup+3.10075 s]
/proc/loadavg: 2.05 1.80 1.10 7/215 5858
/proc/meminfo: memFree=31636880/32770624 swapFree=0/266920
[pid=5842] ppid=5839 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5842/stat : 5842 (xcsp3-exec) S 5839 5842 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8711068 9740288 345 18446744073709551615 4194304 5098028 140726290326576 140726290324680 140107212018300 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 8994816 140726290334108 140726290334311 140726290334311 140726290337771 0
/proc/5842/statm: 2378 345 289 221 0 87 0
[pid=5844] ppid=5842 vsize=13980732 CPUtime=8.57 cores=1,3,5,7
/proc/5844/stat : 5844 (java) S 5842 5842 5234 0 -1 1077944320 41565 0 0 0 850 7 0 0 20 0 15 0 8711075 14316269568 36680 18446744073709551615 4194304 4196468 140721164324512 140721164307056 139628052954871 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
/proc/5844/statm: 3495183 36680 3193 1 0 3483484 0
[pid=5844/tid=5845] ppid=5842 vsize=13980732 CPUtime=2.96 cores=1,3,5,7
/proc/5844/task/5845/stat : 5845 (java) R 5842 5842 5234 0 -1 4202560 9996 0 0 0 292 4 0 0 20 0 15 0 8711075 14316269568 36680 18446744073709551615 4194304 4196468 140721164324512 139628057190032 139627665611662 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5846] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5846/stat : 5846 (java) S 5842 5842 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 36680 18446744073709551615 4194304 4196468 140721164324512 139627987389072 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5847] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5847/stat : 5847 (java) S 5842 5842 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 36680 18446744073709551615 4194304 4196468 140721164324512 139627986336272 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5848] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5848/stat : 5848 (java) S 5842 5842 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 36680 18446744073709551615 4194304 4196468 140721164324512 139627985283472 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5849] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5849/stat : 5849 (java) S 5842 5842 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 36680 18446744073709551615 4194304 4196468 140721164324512 139627984230672 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5850] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5850/stat : 5850 (java) S 5842 5842 5234 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 8711077 14316269568 36680 18446744073709551615 4194304 4196468 140721164324512 139627531299696 139628052966018 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5851] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5851/stat : 5851 (java) S 5842 5842 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8711078 14316269568 36680 18446744073709551615 4194304 4196468 140721164324512 139627530245664 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5852] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5852/stat : 5852 (java) S 5842 5842 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8711078 14316269568 36680 18446744073709551615 4194304 4196468 140721164324512 139627529192816 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5853] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5853/stat : 5853 (java) S 5842 5842 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711080 14316269568 36680 18446744073709551615 4194304 4196468 140721164324512 139627528141136 139628052973467 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5854] ppid=5842 vsize=13980732 CPUtime=2.52 cores=1,3,5,7
/proc/5844/task/5854/stat : 5854 (java) S 5842 5842 5234 0 -1 1077944384 14505 0 0 0 251 1 0 0 20 0 15 0 8711080 14316269568 36680 18446744073709551615 4194304 4196468 140721164324512 139627527088496 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5855] ppid=5842 vsize=13980732 CPUtime=2.53 cores=1,3,5,7
/proc/5844/task/5855/stat : 5855 (java) S 5842 5842 5234 0 -1 1077944384 12366 0 0 0 252 1 0 0 20 0 15 0 8711080 14316269568 36680 18446744073709551615 4194304 4196468 140721164324512 139627526035696 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5856] ppid=5842 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/5844/task/5856/stat : 5856 (java) S 5842 5842 5234 0 -1 1077944384 3346 0 0 0 53 0 0 0 20 0 15 0 8711080 14316269568 36680 18446744073709551615 4194304 4196468 140721164324512 139627524982896 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5857] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5857/stat : 5857 (java) S 5842 5842 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711081 14316269568 36680 18446744073709551615 4194304 4196468 140721164324512 139627523930336 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5858] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5858/stat : 5858 (java) S 5842 5842 5234 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 8711087 14316269568 36680 18446744073709551615 4194304 4196468 140721164324512 139627522878640 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
Current children cumulated CPU time (s) 8.57
Current children cumulated vsize (KiB) 13990244
[startup+6.30061 s]
/proc/loadavg: 2.05 1.80 1.10 3/215 5858
/proc/meminfo: memFree=31610092/32770624 swapFree=0/266932
[pid=5842] ppid=5839 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5842/stat : 5842 (xcsp3-exec) S 5839 5842 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8711068 9740288 345 18446744073709551615 4194304 5098028 140726290326576 140726290324680 140107212018300 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 8994816 140726290334108 140726290334311 140726290334311 140726290337771 0
/proc/5842/statm: 2378 345 289 221 0 87 0
[pid=5844] ppid=5842 vsize=13980732 CPUtime=11.88 cores=1,3,5,7
/proc/5844/stat : 5844 (java) S 5842 5842 5234 0 -1 1077944320 45412 0 0 0 1180 8 0 0 20 0 15 0 8711075 14316269568 33750 18446744073709551615 4194304 4196468 140721164324512 140721164307056 139628052954871 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
/proc/5844/statm: 3495183 33750 3197 1 0 3483484 0
[pid=5844/tid=5845] ppid=5842 vsize=13980732 CPUtime=6.16 cores=1,3,5,7
/proc/5844/task/5845/stat : 5845 (java) R 5842 5842 5234 0 -1 4202560 10484 0 0 0 612 4 0 0 20 0 15 0 8711075 14316269568 33750 18446744073709551615 4194304 4196468 140721164324512 139628057190448 139627665611627 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5846] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5846/stat : 5846 (java) S 5842 5842 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 33750 18446744073709551615 4194304 4196468 140721164324512 139627987389072 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5847] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5847/stat : 5847 (java) S 5842 5842 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 33750 18446744073709551615 4194304 4196468 140721164324512 139627986336272 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5848] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5848/stat : 5848 (java) S 5842 5842 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 33750 18446744073709551615 4194304 4196468 140721164324512 139627985283472 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5849] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5849/stat : 5849 (java) S 5842 5842 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 33750 18446744073709551615 4194304 4196468 140721164324512 139627984230672 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5850] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5850/stat : 5850 (java) S 5842 5842 5234 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 15 0 8711077 14316269568 33750 18446744073709551615 4194304 4196468 140721164324512 139627531299696 139628052966018 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5851] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5851/stat : 5851 (java) S 5842 5842 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8711078 14316269568 33750 18446744073709551615 4194304 4196468 140721164324512 139627530245664 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5852] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5852/stat : 5852 (java) S 5842 5842 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8711078 14316269568 33750 18446744073709551615 4194304 4196468 140721164324512 139627529192816 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5853] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5853/stat : 5853 (java) S 5842 5842 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711080 14316269568 33750 18446744073709551615 4194304 4196468 140721164324512 139627528141136 139628052973467 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5854] ppid=5842 vsize=13980732 CPUtime=2.56 cores=1,3,5,7
/proc/5844/task/5854/stat : 5854 (java) S 5842 5842 5234 0 -1 1077944384 15246 0 0 0 255 1 0 0 20 0 15 0 8711080 14316269568 33750 18446744073709551615 4194304 4196468 140721164324512 139627527088496 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5855] ppid=5842 vsize=13980732 CPUtime=2.58 cores=1,3,5,7
/proc/5844/task/5855/stat : 5855 (java) S 5842 5842 5234 0 -1 1077944384 13210 0 0 0 257 1 0 0 20 0 15 0 8711080 14316269568 33750 18446744073709551615 4194304 4196468 140721164324512 139627526035696 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5856] ppid=5842 vsize=13980732 CPUtime=0.54 cores=1,3,5,7
/proc/5844/task/5856/stat : 5856 (java) S 5842 5842 5234 0 -1 1077944384 3523 0 0 0 54 0 0 0 20 0 15 0 8711080 14316269568 33750 18446744073709551615 4194304 4196468 140721164324512 139627524982896 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5857] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5857/stat : 5857 (java) S 5842 5842 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711081 14316269568 33750 18446744073709551615 4194304 4196468 140721164324512 139627523930336 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5858] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5858/stat : 5858 (java) S 5842 5842 5234 0 -1 1077944384 1328 0 0 0 0 0 0 0 20 0 15 0 8711087 14316269568 33750 18446744073709551615 4194304 4196468 140721164324512 139627522878640 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
Current children cumulated CPU time (s) 11.88
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 2.04 1.80 1.11 3/215 5859
/proc/meminfo: memFree=31549592/32770624 swapFree=0/266940
[pid=5842] ppid=5839 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5842/stat : 5842 (xcsp3-exec) S 5839 5842 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8711068 9740288 345 18446744073709551615 4194304 5098028 140726290326576 140726290324680 140107212018300 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 8994816 140726290334108 140726290334311 140726290334311 140726290337771 0
/proc/5842/statm: 2378 345 289 221 0 87 0
[pid=5844] ppid=5842 vsize=13980732 CPUtime=18.33 cores=1,3,5,7
/proc/5844/stat : 5844 (java) S 5842 5842 5234 0 -1 1077944320 47201 0 0 0 1825 8 0 0 20 0 15 0 8711075 14316269568 34283 18446744073709551615 4194304 4196468 140721164324512 140721164307056 139628052954871 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
/proc/5844/statm: 3495183 34283 3197 1 0 3483484 0
[pid=5844/tid=5845] ppid=5842 vsize=13980732 CPUtime=12.56 cores=1,3,5,7
/proc/5844/task/5845/stat : 5845 (java) R 5842 5842 5234 0 -1 4202560 10929 0 0 0 1252 4 0 0 20 0 15 0 8711075 14316269568 34283 18446744073709551615 4194304 4196468 140721164324512 139628057190288 139627665611642 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5846] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5846/stat : 5846 (java) S 5842 5842 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 34283 18446744073709551615 4194304 4196468 140721164324512 139627987389072 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5847] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5847/stat : 5847 (java) S 5842 5842 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 34283 18446744073709551615 4194304 4196468 140721164324512 139627986336272 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
################
# More data... #
################
/proc/5844/stat : 5844 (java) S 5842 5842 5234 0 -1 1077944320 65834 0 0 0 10875 12 0 0 20 0 15 0 8711075 14316269568 52416 18446744073709551615 4194304 4196468 140721164324512 140721164307056 139628052954871 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
/proc/5844/statm: 3495183 52416 3200 1 0 3483484 0
[pid=5844/tid=5845] ppid=5842 vsize=13980732 CPUtime=102.16 cores=1,3,5,7
/proc/5844/task/5845/stat : 5845 (java) R 5842 5842 5234 0 -1 4202560 13555 0 0 0 10211 5 0 0 20 0 15 0 8711075 14316269568 52416 18446744073709551615 4194304 4196468 140721164324512 139628057190384 139627666445007 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5846] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5846/stat : 5846 (java) S 5842 5842 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 52416 18446744073709551615 4194304 4196468 140721164324512 139627987389072 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5847] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5847/stat : 5847 (java) S 5842 5842 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 52416 18446744073709551615 4194304 4196468 140721164324512 139627986336272 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5848] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5848/stat : 5848 (java) S 5842 5842 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 52416 18446744073709551615 4194304 4196468 140721164324512 139627985283472 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5849] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5849/stat : 5849 (java) S 5842 5842 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 52416 18446744073709551615 4194304 4196468 140721164324512 139627984230672 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5850] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5850/stat : 5850 (java) S 5842 5842 5234 0 -1 1077944384 506 0 0 0 0 0 0 0 20 0 15 0 8711077 14316269568 52416 18446744073709551615 4194304 4196468 140721164324512 139627531299696 139628052966018 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5851] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5851/stat : 5851 (java) S 5842 5842 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8711078 14316269568 52416 18446744073709551615 4194304 4196468 140721164324512 139627530245664 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5852] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5852/stat : 5852 (java) S 5842 5842 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8711078 14316269568 52416 18446744073709551615 4194304 4196468 140721164324512 139627529192816 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5853] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5853/stat : 5853 (java) S 5842 5842 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711080 14316269568 52416 18446744073709551615 4194304 4196468 140721164324512 139627528141136 139628052973467 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5854] ppid=5842 vsize=13980732 CPUtime=3.03 cores=1,3,5,7
/proc/5844/task/5854/stat : 5854 (java) S 5842 5842 5234 0 -1 1077944384 21287 0 0 0 301 2 0 0 20 0 15 0 8711080 14316269568 52416 18446744073709551615 4194304 4196468 140721164324512 139627527088496 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5855] ppid=5842 vsize=13980732 CPUtime=2.97 cores=1,3,5,7
/proc/5844/task/5855/stat : 5855 (java) S 5842 5842 5234 0 -1 1077944384 17796 0 0 0 296 1 0 0 20 0 15 0 8711080 14316269568 52416 18446744073709551615 4194304 4196468 140721164324512 139627526035696 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5856] ppid=5842 vsize=13980732 CPUtime=0.65 cores=1,3,5,7
/proc/5844/task/5856/stat : 5856 (java) S 5842 5842 5234 0 -1 1077944384 9710 0 0 0 64 1 0 0 20 0 15 0 8711080 14316269568 52416 18446744073709551615 4194304 4196468 140721164324512 139627524982896 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5857] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5857/stat : 5857 (java) S 5842 5842 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711081 14316269568 52416 18446744073709551615 4194304 4196468 140721164324512 139627523930336 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5858] ppid=5842 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/5844/task/5858/stat : 5858 (java) S 5842 5842 5234 0 -1 1077944384 1680 0 0 0 0 1 0 0 20 0 15 0 8711087 14316269568 52416 18446744073709551615 4194304 4196468 140721164324512 139627522878640 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
Current children cumulated CPU time (s) 108.87
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.97 1.85 1.22 3/216 5864
/proc/meminfo: memFree=31442480/32770624 swapFree=0/267016
[pid=5842] ppid=5839 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5842/stat : 5842 (xcsp3-exec) S 5839 5842 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8711068 9740288 345 18446744073709551615 4194304 5098028 140726290326576 140726290324680 140107212018300 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 8994816 140726290334108 140726290334311 140726290334311 140726290337771 0
/proc/5842/statm: 2378 345 289 221 0 87 0
[pid=5844] ppid=5842 vsize=13980732 CPUtime=169.01 cores=1,3,5,7
/proc/5844/stat : 5844 (java) S 5842 5842 5234 0 -1 1077944320 68669 0 0 0 16887 14 0 0 20 0 15 0 8711075 14316269568 58643 18446744073709551615 4194304 4196468 140721164324512 140721164307056 139628052954871 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
/proc/5844/statm: 3495183 58643 3224 1 0 3483484 0
[pid=5844/tid=5845] ppid=5842 vsize=13980732 CPUtime=162.14 cores=1,3,5,7
/proc/5844/task/5845/stat : 5845 (java) R 5842 5842 5234 0 -1 4202560 13932 0 0 0 16209 5 0 0 20 0 15 0 8711075 14316269568 58643 18446744073709551615 4194304 4196468 140721164324512 139628057190384 139627666444768 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5846] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5846/stat : 5846 (java) S 5842 5842 5234 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 58643 18446744073709551615 4194304 4196468 140721164324512 139627987389072 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5847] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5847/stat : 5847 (java) S 5842 5842 5234 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 58643 18446744073709551615 4194304 4196468 140721164324512 139627986336272 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5848] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5848/stat : 5848 (java) S 5842 5842 5234 0 -1 1077944384 764 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 58643 18446744073709551615 4194304 4196468 140721164324512 139627985283472 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5849] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5849/stat : 5849 (java) S 5842 5842 5234 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 58643 18446744073709551615 4194304 4196468 140721164324512 139627984230672 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5850] ppid=5842 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/5844/task/5850/stat : 5850 (java) S 5842 5842 5234 0 -1 1077944384 705 0 0 0 1 1 0 0 20 0 15 0 8711077 14316269568 58643 18446744073709551615 4194304 4196468 140721164324512 139627531299696 139628052966018 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5851] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5851/stat : 5851 (java) S 5842 5842 5234 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 8711078 14316269568 58643 18446744073709551615 4194304 4196468 140721164324512 139627530245664 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5852] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5852/stat : 5852 (java) S 5842 5842 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 8711078 14316269568 58643 18446744073709551615 4194304 4196468 140721164324512 139627529192816 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5853] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5853/stat : 5853 (java) S 5842 5842 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711080 14316269568 58643 18446744073709551615 4194304 4196468 140721164324512 139627528141136 139628052973467 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5854] ppid=5842 vsize=13980732 CPUtime=3.03 cores=1,3,5,7
/proc/5844/task/5854/stat : 5854 (java) S 5842 5842 5234 0 -1 1077944384 21319 0 0 0 301 2 0 0 20 0 15 0 8711080 14316269568 58643 18446744073709551615 4194304 4196468 140721164324512 139627527088496 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5855] ppid=5842 vsize=13980732 CPUtime=3.05 cores=1,3,5,7
/proc/5844/task/5855/stat : 5855 (java) S 5842 5842 5234 0 -1 1077944384 17945 0 0 0 304 1 0 0 20 0 15 0 8711080 14316269568 58643 18446744073709551615 4194304 4196468 140721164324512 139627526035696 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5856] ppid=5842 vsize=13980732 CPUtime=0.66 cores=1,3,5,7
/proc/5844/task/5856/stat : 5856 (java) S 5842 5842 5234 0 -1 1077944384 10488 0 0 0 65 1 0 0 20 0 15 0 8711080 14316269568 58643 18446744073709551615 4194304 4196468 140721164324512 139627524982896 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5857] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5857/stat : 5857 (java) S 5842 5842 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711081 14316269568 58643 18446744073709551615 4194304 4196468 140721164324512 139627523930336 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5858] ppid=5842 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/5844/task/5858/stat : 5858 (java) S 5842 5842 5234 0 -1 1077944384 1696 0 0 0 1 2 0 0 20 0 15 0 8711087 14316269568 58643 18446744073709551615 4194304 4196468 140721164324512 139627522878640 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
Current children cumulated CPU time (s) 169.01
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 2.02 1.89 1.28 3/215 5866
/proc/meminfo: memFree=31456428/32770624 swapFree=0/267040
[pid=5842] ppid=5839 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5842/stat : 5842 (xcsp3-exec) S 5839 5842 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8711068 9740288 345 18446744073709551615 4194304 5098028 140726290326576 140726290324680 140107212018300 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 8994816 140726290334108 140726290334311 140726290334311 140726290337771 0
/proc/5842/statm: 2378 345 289 221 0 87 0
[pid=5844] ppid=5842 vsize=13980732 CPUtime=229.03 cores=1,3,5,7
/proc/5844/stat : 5844 (java) S 5842 5842 5234 0 -1 1077944320 69424 0 0 0 22888 15 0 0 20 0 15 0 8711075 14316269568 58658 18446744073709551615 4194304 4196468 140721164324512 140721164307056 139628052954871 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
/proc/5844/statm: 3495183 58658 3224 1 0 3483484 0
[pid=5844/tid=5845] ppid=5842 vsize=13980732 CPUtime=222.15 cores=1,3,5,7
/proc/5844/task/5845/stat : 5845 (java) R 5842 5842 5234 0 -1 4202560 14302 0 0 0 22210 5 0 0 20 0 15 0 8711075 14316269568 58658 18446744073709551615 4194304 4196468 140721164324512 139628057190384 139627666445014 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5846] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5846/stat : 5846 (java) S 5842 5842 5234 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 58658 18446744073709551615 4194304 4196468 140721164324512 139627987389072 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5847] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5847/stat : 5847 (java) S 5842 5842 5234 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 58658 18446744073709551615 4194304 4196468 140721164324512 139627986336272 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5848] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5848/stat : 5848 (java) S 5842 5842 5234 0 -1 1077944384 764 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 58658 18446744073709551615 4194304 4196468 140721164324512 139627985283472 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5849] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5849/stat : 5849 (java) S 5842 5842 5234 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 58658 18446744073709551615 4194304 4196468 140721164324512 139627984230672 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5850] ppid=5842 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/5844/task/5850/stat : 5850 (java) S 5842 5842 5234 0 -1 1077944384 713 0 0 0 1 1 0 0 20 0 15 0 8711077 14316269568 58658 18446744073709551615 4194304 4196468 140721164324512 139627531299696 139628052966018 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5851] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5851/stat : 5851 (java) S 5842 5842 5234 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 8711078 14316269568 58658 18446744073709551615 4194304 4196468 140721164324512 139627530245664 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5852] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5852/stat : 5852 (java) S 5842 5842 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 8711078 14316269568 58658 18446744073709551615 4194304 4196468 140721164324512 139627529192816 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5853] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5853/stat : 5853 (java) S 5842 5842 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711080 14316269568 58658 18446744073709551615 4194304 4196468 140721164324512 139627528141136 139628052973467 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5854] ppid=5842 vsize=13980732 CPUtime=3.03 cores=1,3,5,7
/proc/5844/task/5854/stat : 5854 (java) S 5842 5842 5234 0 -1 1077944384 21650 0 0 0 301 2 0 0 20 0 15 0 8711080 14316269568 58658 18446744073709551615 4194304 4196468 140721164324512 139627527088496 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5855] ppid=5842 vsize=13980732 CPUtime=3.05 cores=1,3,5,7
/proc/5844/task/5855/stat : 5855 (java) S 5842 5842 5234 0 -1 1077944384 17948 0 0 0 304 1 0 0 20 0 15 0 8711080 14316269568 58658 18446744073709551615 4194304 4196468 140721164324512 139627526035696 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5856] ppid=5842 vsize=13980732 CPUtime=0.66 cores=1,3,5,7
/proc/5844/task/5856/stat : 5856 (java) S 5842 5842 5234 0 -1 1077944384 10496 0 0 0 65 1 0 0 20 0 15 0 8711080 14316269568 58658 18446744073709551615 4194304 4196468 140721164324512 139627524982896 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5857] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5857/stat : 5857 (java) S 5842 5842 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711081 14316269568 58658 18446744073709551615 4194304 4196468 140721164324512 139627523930336 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5858] ppid=5842 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/5844/task/5858/stat : 5858 (java) S 5842 5842 5234 0 -1 1077944384 1731 0 0 0 1 3 0 0 20 0 15 0 8711087 14316269568 58658 18446744073709551615 4194304 4196468 140721164324512 139627522878640 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
Current children cumulated CPU time (s) 229.03
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.02 1.89 1.29 2/199 5884
/proc/meminfo: memFree=31659032/32770624 swapFree=0/267044
[pid=5842] ppid=5839 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5842/stat : 5842 (xcsp3-exec) S 5839 5842 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8711068 9740288 345 18446744073709551615 4194304 5098028 140726290326576 140726290324680 140107212018300 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 8994816 140726290334108 140726290334311 140726290334311 140726290337771 0
/proc/5842/statm: 2378 345 289 221 0 87 0
[pid=5844] ppid=5842 vsize=13980732 CPUtime=246.76 cores=1,3,5,7
/proc/5844/stat : 5844 (java) S 5842 5842 5234 0 -1 1077944320 70765 0 0 0 24661 15 0 0 20 0 15 0 8711075 14316269568 58680 18446744073709551615 4194304 4196468 140721164324512 140721164307056 139628052954871 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
/proc/5844/statm: 3495183 58680 3229 1 0 3483484 0
[pid=5844/tid=5845] ppid=5842 vsize=13980732 CPUtime=239.84 cores=1,3,5,7
/proc/5844/task/5845/stat : 5845 (java) R 5842 5842 5234 0 -1 4202560 14572 0 0 0 23979 5 0 0 20 0 15 0 8711075 14316269568 58680 18446744073709551615 4194304 4196468 140721164324512 139628057191296 139627666444816 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5846] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5846/stat : 5846 (java) S 5842 5842 5234 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 58680 18446744073709551615 4194304 4196468 140721164324512 139627987389072 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5847] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5847/stat : 5847 (java) S 5842 5842 5234 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 58680 18446744073709551615 4194304 4196468 140721164324512 139627986336272 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5848] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5848/stat : 5848 (java) S 5842 5842 5234 0 -1 1077944384 764 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 58680 18446744073709551615 4194304 4196468 140721164324512 139627985283472 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5849] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5849/stat : 5849 (java) S 5842 5842 5234 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 8711076 14316269568 58680 18446744073709551615 4194304 4196468 140721164324512 139627984230672 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5850] ppid=5842 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/5844/task/5850/stat : 5850 (java) S 5842 5842 5234 0 -1 1077944384 744 0 0 0 1 1 0 0 20 0 15 0 8711077 14316269568 58680 18446744073709551615 4194304 4196468 140721164324512 139627531299696 139628052966018 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5851] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5851/stat : 5851 (java) S 5842 5842 5234 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 8711078 14316269568 58680 18446744073709551615 4194304 4196468 140721164324512 139627530245664 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5852] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5852/stat : 5852 (java) S 5842 5842 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 8711078 14316269568 58680 18446744073709551615 4194304 4196468 140721164324512 139627529192816 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5853] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5853/stat : 5853 (java) S 5842 5842 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711080 14316269568 58680 18446744073709551615 4194304 4196468 140721164324512 139627528141136 139628052973467 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5854] ppid=5842 vsize=13980732 CPUtime=3.04 cores=1,3,5,7
/proc/5844/task/5854/stat : 5854 (java) S 5842 5842 5234 0 -1 1077944384 21883 0 0 0 302 2 0 0 20 0 15 0 8711080 14316269568 58680 18446744073709551615 4194304 4196468 140721164324512 139627527088496 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5855] ppid=5842 vsize=13980732 CPUtime=3.06 cores=1,3,5,7
/proc/5844/task/5855/stat : 5855 (java) S 5842 5842 5234 0 -1 1077944384 18404 0 0 0 305 1 0 0 20 0 15 0 8711080 14316269568 58680 18446744073709551615 4194304 4196468 140721164324512 139627526035696 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5856] ppid=5842 vsize=13980732 CPUtime=0.66 cores=1,3,5,7
/proc/5844/task/5856/stat : 5856 (java) S 5842 5842 5234 0 -1 1077944384 10837 0 0 0 65 1 0 0 20 0 15 0 8711080 14316269568 58680 18446744073709551615 4194304 4196468 140721164324512 139627524982896 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5857] ppid=5842 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5844/task/5857/stat : 5857 (java) S 5842 5842 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711081 14316269568 58680 18446744073709551615 4194304 4196468 140721164324512 139627523930336 139628052965077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
[pid=5844/tid=5858] ppid=5842 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/5844/task/5858/stat : 5858 (java) S 5842 5842 5234 0 -1 1077944384 1741 0 0 0 1 3 0 0 20 0 15 0 8711087 14316269568 58680 18446744073709551615 4194304 4196468 140721164324512 139627522878640 139628052966018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15151104 140721164329428 140721164329603 140721164329603 140721164333007 0
Current children cumulated CPU time (s) 246.76
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 5844 sig 9
??? kill 5842 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): 246.788
CPU user time (s): 246.626
CPU system time (s): 0.161216
CPU usage (%): 102.822
Max. virtual memory (cumulated for all children) (KiB): 13992928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.626
system time used= 0.161216
maximum resident set size= 235172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71749
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= 7748
involuntary context switches= 158
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.01625 second user time and 1.30595 second system time
The end