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-4254043-1501614241/watcher-4254043-1501614241 -o /tmp/evaluation-result-4254043-1501614241/solver-4254043-1501614241 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501610486-5294 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1981152527 HOME/instance-4254043-1501614241.xml
pid=7820
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: 2.07 1.96 1.82 4/198 7823
/proc/meminfo: memFree=31594572/32770624 swapFree=0/278720
[pid=7823] ppid=7820 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7823/stat : 7823 (runsolver) D 7820 7823 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 8929868 24240128 106 18446744073709551615 4194304 4338465 140723995739744 140723995737384 140168411685591 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 6782976 140723995746397 140723995746886 140723995746886 140723995750346 0
/proc/7823/statm: 5918 106 53 36 0 2156 0
[startup+0.105734 s]
/proc/loadavg: 2.07 1.96 1.82 4/198 7823
/proc/meminfo: memFree=31594572/32770624 swapFree=0/278720
[pid=7823] ppid=7820 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7823/stat : 7823 (xcsp3-exec) S 7820 7823 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8929868 9740288 345 18446744073709551615 4194304 5098028 140732754637248 140732754635352 139895799878268 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 24514560 140732754645403 140732754645607 140732754645607 140732754649067 0
/proc/7823/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200312 s]
/proc/loadavg: 2.07 1.96 1.82 4/198 7823
/proc/meminfo: memFree=31594572/32770624 swapFree=0/278720
[pid=7823] ppid=7820 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7823/stat : 7823 (xcsp3-exec) S 7820 7823 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8929868 9740288 345 18446744073709551615 4194304 5098028 140732754637248 140732754635352 139895799878268 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 24514560 140732754645403 140732754645607 140732754645607 140732754649067 0
/proc/7823/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300312 s]
/proc/loadavg: 2.07 1.96 1.82 4/198 7823
/proc/meminfo: memFree=31594572/32770624 swapFree=0/278720
[pid=7823] ppid=7820 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7823/stat : 7823 (xcsp3-exec) S 7820 7823 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8929868 9740288 345 18446744073709551615 4194304 5098028 140732754637248 140732754635352 139895799878268 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 24514560 140732754645403 140732754645607 140732754645607 140732754649067 0
/proc/7823/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701724 s]
/proc/loadavg: 2.07 1.96 1.82 4/198 7823
/proc/meminfo: memFree=31594572/32770624 swapFree=0/278720
[pid=7823] ppid=7820 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7823/stat : 7823 (xcsp3-exec) S 7820 7823 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8929868 9740288 345 18446744073709551615 4194304 5098028 140732754637248 140732754635352 139895799878268 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 24514560 140732754645403 140732754645607 140732754645607 140732754649067 0
/proc/7823/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50067 s]
/proc/loadavg: 2.07 1.96 1.82 5/216 7847
/proc/meminfo: memFree=31396356/32770624 swapFree=0/278784
[pid=7823] ppid=7820 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7823/stat : 7823 (xcsp3-exec) S 7820 7823 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8929868 9740288 345 18446744073709551615 4194304 5098028 140732754637248 140732754635352 139895799878268 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 24514560 140732754645403 140732754645607 140732754645607 140732754649067 0
/proc/7823/statm: 2378 345 289 221 0 87 0
[pid=7825] ppid=7823 vsize=13978684 CPUtime=3.59 cores=0,2,4,6
/proc/7825/stat : 7825 (java) S 7823 7823 5234 0 -1 1077944320 15027 0 0 0 343 16 0 0 20 0 15 0 8929876 14314172416 85488 18446744073709551615 4194304 4196468 140734900038032 140734900020576 139735532216055 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
/proc/7825/statm: 3494671 85488 3184 1 0 3482972 0
[pid=7825/tid=7826] ppid=7823 vsize=13978684 CPUtime=1.27 cores=0,2,4,6
/proc/7825/task/7826/stat : 7826 (java) R 7823 7823 5234 0 -1 4202560 7986 0 0 0 121 6 0 0 20 0 15 0 8929876 14314172416 85488 18446744073709551615 4194304 4196468 140734900038032 139735536452696 139735171428802 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7827] ppid=7823 vsize=13978684 CPUtime=0.04 cores=0,2,4,6
/proc/7825/task/7827/stat : 7827 (java) S 7823 7823 5234 0 -1 1077944384 56 0 0 0 3 1 0 0 20 0 15 0 8929877 14314172416 85488 18446744073709551615 4194304 4196468 140734900038032 139735489182736 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7828] ppid=7823 vsize=13978684 CPUtime=0.05 cores=0,2,4,6
/proc/7825/task/7828/stat : 7828 (java) S 7823 7823 5234 0 -1 1077944384 53 0 0 0 3 2 0 0 20 0 15 0 8929877 14314172416 85488 18446744073709551615 4194304 4196468 140734900038032 139735488130192 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7829] ppid=7823 vsize=13978684 CPUtime=0.04 cores=0,2,4,6
/proc/7825/task/7829/stat : 7829 (java) S 7823 7823 5234 0 -1 1077944384 69 0 0 0 2 2 0 0 20 0 15 0 8929877 14314172416 85488 18446744073709551615 4194304 4196468 140734900038032 139735487077136 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7830] ppid=7823 vsize=13978684 CPUtime=0.05 cores=0,2,4,6
/proc/7825/task/7830/stat : 7830 (java) S 7823 7823 5234 0 -1 1077944384 114 0 0 0 3 2 0 0 20 0 15 0 8929877 14314172416 85488 18446744073709551615 4194304 4196468 140734900038032 139735129582480 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7831] ppid=7823 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7831/stat : 7831 (java) S 7823 7823 5234 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 8929879 14314172416 85488 18446744073709551615 4194304 4196468 140734900038032 139734650292464 139735532227202 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7832] ppid=7823 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7832/stat : 7832 (java) S 7823 7823 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8929879 14314172416 85488 18446744073709551615 4194304 4196468 140734900038032 139734649238688 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7833] ppid=7823 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7833/stat : 7833 (java) S 7823 7823 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8929879 14314172416 85488 18446744073709551615 4194304 4196468 140734900038032 139734648185584 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7834] ppid=7823 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7834/stat : 7834 (java) S 7823 7823 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8929882 14314172416 85488 18446744073709551615 4194304 4196468 140734900038032 139734647134160 139735532234651 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7835] ppid=7823 vsize=13978684 CPUtime=0.88 cores=0,2,4,6
/proc/7825/task/7835/stat : 7835 (java) R 7823 7823 5234 0 -1 4202560 2011 0 0 0 88 0 0 0 20 0 15 0 8929882 14314172416 85488 18446744073709551615 4194304 4196468 140734900038032 139734646066432 139735510233034 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7836] ppid=7823 vsize=13978684 CPUtime=0.89 cores=0,2,4,6
/proc/7825/task/7836/stat : 7836 (java) R 7823 7823 5234 0 -1 4202560 1675 0 0 0 88 1 0 0 20 0 15 0 8929882 14314172416 85488 18446744073709551615 4194304 4196468 140734900038032 139734645022768 139735513395169 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7837] ppid=7823 vsize=13978684 CPUtime=0.32 cores=0,2,4,6
/proc/7825/task/7837/stat : 7837 (java) S 7823 7823 5234 0 -1 1077944384 1685 0 0 0 32 0 0 0 20 0 15 0 8929882 14314172416 85488 18446744073709551615 4194304 4196468 140734900038032 139734643976688 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7838] ppid=7823 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7838/stat : 7838 (java) S 7823 7823 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8929882 14314172416 85488 18446744073709551615 4194304 4196468 140734900038032 139734642924384 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7839] ppid=7823 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7839/stat : 7839 (java) S 7823 7823 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8929889 14314172416 85488 18446744073709551615 4194304 4196468 140734900038032 139734641871408 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 13988196
[startup+3.10077 s]
/proc/loadavg: 2.07 1.96 1.82 7/216 7847
/proc/meminfo: memFree=31200348/32770624 swapFree=0/278784
[pid=7823] ppid=7820 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7823/stat : 7823 (xcsp3-exec) S 7820 7823 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8929868 9740288 345 18446744073709551615 4194304 5098028 140732754637248 140732754635352 139895799878268 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 24514560 140732754645403 140732754645607 140732754645607 140732754649067 0
/proc/7823/statm: 2378 345 289 221 0 87 0
[pid=7825] ppid=7823 vsize=13980732 CPUtime=8.55 cores=0,2,4,6
/proc/7825/stat : 7825 (java) S 7823 7823 5234 0 -1 1077944320 23077 0 0 0 790 65 0 0 20 0 15 0 8929876 14316269568 246913 18446744073709551615 4194304 4196468 140734900038032 140734900020576 139735532216055 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
/proc/7825/statm: 3495183 246913 3229 1 0 3483484 0
[pid=7825/tid=7826] ppid=7823 vsize=13980732 CPUtime=2.36 cores=0,2,4,6
/proc/7825/task/7826/stat : 7826 (java) S 7823 7823 5234 0 -1 1077944384 9224 0 0 0 227 9 0 0 20 0 15 0 8929876 14316269568 246913 18446744073709551615 4194304 4196468 140734900038032 139735536454960 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7827] ppid=7823 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/7825/task/7827/stat : 7827 (java) R 7823 7823 5234 0 -1 4202560 1169 0 0 0 39 13 0 0 20 0 15 0 8929877 14316269568 246913 18446744073709551615 4194304 4196468 140734900038032 139735489182624 139735517201351 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7828] ppid=7823 vsize=13980732 CPUtime=0.47 cores=0,2,4,6
/proc/7825/task/7828/stat : 7828 (java) R 7823 7823 5234 0 -1 4202560 863 0 0 0 35 12 0 0 20 0 15 0 8929877 14316269568 246913 18446744073709551615 4194304 4196468 140734900038032 139735488130192 139735517201351 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7829] ppid=7823 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/7825/task/7829/stat : 7829 (java) R 7823 7823 5234 0 -1 4202560 665 0 0 0 38 14 0 0 20 0 15 0 8929877 14316269568 246913 18446744073709551615 4194304 4196468 140734900038032 139735487077136 139735516670812 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7830] ppid=7823 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/7825/task/7830/stat : 7830 (java) R 7823 7823 5234 0 -1 4202560 1326 0 0 0 36 12 0 0 20 0 15 0 8929877 14316269568 246913 18446744073709551615 4194304 4196468 140734900038032 139735129582680 139735516670812 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7831] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7831/stat : 7831 (java) S 7823 7823 5234 0 -1 1077944384 669 0 0 0 0 0 0 0 20 0 15 0 8929879 14316269568 246913 18446744073709551615 4194304 4196468 140734900038032 139734650290784 139735532226261 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7832] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7832/stat : 7832 (java) S 7823 7823 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8929879 14316269568 246913 18446744073709551615 4194304 4196468 140734900038032 139734649238752 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7833] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7833/stat : 7833 (java) S 7823 7823 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8929879 14316269568 246913 18446744073709551615 4194304 4196468 140734900038032 139734648185600 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7834] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7834/stat : 7834 (java) S 7823 7823 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8929882 14316269568 246913 18446744073709551615 4194304 4196468 140734900038032 139734647134160 139735532234651 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7835] ppid=7823 vsize=13980732 CPUtime=1.81 cores=0,2,4,6
/proc/7825/task/7835/stat : 7835 (java) S 7823 7823 5234 0 -1 1077944384 3305 0 0 0 181 0 0 0 20 0 15 0 8929882 14316269568 246913 18446744073709551615 4194304 4196468 140734900038032 139734646082288 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7836] ppid=7823 vsize=13980732 CPUtime=1.77 cores=0,2,4,6
/proc/7825/task/7836/stat : 7836 (java) S 7823 7823 5234 0 -1 1077944384 2354 0 0 0 176 1 0 0 20 0 15 0 8929882 14316269568 246913 18446744073709551615 4194304 4196468 140734900038032 139734645029744 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7837] ppid=7823 vsize=13980732 CPUtime=0.53 cores=0,2,4,6
/proc/7825/task/7837/stat : 7837 (java) S 7823 7823 5234 0 -1 1077944384 2206 0 0 0 53 0 0 0 20 0 15 0 8929882 14316269568 246913 18446744073709551615 4194304 4196468 140734900038032 139734643976688 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7838] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7838/stat : 7838 (java) S 7823 7823 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8929882 14316269568 246913 18446744073709551615 4194304 4196468 140734900038032 139734642924384 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7839] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7839/stat : 7839 (java) S 7823 7823 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8929889 14316269568 246913 18446744073709551615 4194304 4196468 140734900038032 139734641871408 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
Current children cumulated CPU time (s) 8.55
Current children cumulated vsize (KiB) 13990244
[startup+6.30076 s]
/proc/loadavg: 1.99 1.94 1.81 3/216 7847
/proc/meminfo: memFree=30373324/32770624 swapFree=0/278792
[pid=7823] ppid=7820 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7823/stat : 7823 (xcsp3-exec) S 7820 7823 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8929868 9740288 345 18446744073709551615 4194304 5098028 140732754637248 140732754635352 139895799878268 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 24514560 140732754645403 140732754645607 140732754645607 140732754649067 0
/proc/7823/statm: 2378 345 289 221 0 87 0
[pid=7825] ppid=7823 vsize=13980732 CPUtime=16.2 cores=0,2,4,6
/proc/7825/stat : 7825 (java) S 7823 7823 5234 0 -1 1077944320 30922 0 0 0 1525 95 0 0 20 0 15 0 8929876 14316269568 308702 18446744073709551615 4194304 4196468 140734900038032 140734900020576 139735532216055 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
/proc/7825/statm: 3495183 308702 3243 1 0 3483484 0
[pid=7825/tid=7826] ppid=7823 vsize=13980732 CPUtime=4.11 cores=0,2,4,6
/proc/7825/task/7826/stat : 7826 (java) R 7823 7823 5234 0 -1 4202560 10840 0 0 0 402 9 0 0 20 0 15 0 8929876 14316269568 308702 18446744073709551615 4194304 4196468 140734900038032 139735536456576 139735174936058 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7827] ppid=7823 vsize=13980732 CPUtime=1.85 cores=0,2,4,6
/proc/7825/task/7827/stat : 7827 (java) S 7823 7823 5234 0 -1 1077944384 1600 0 0 0 165 20 0 0 20 0 15 0 8929877 14316269568 308702 18446744073709551615 4194304 4196468 140734900038032 139735489182736 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7828] ppid=7823 vsize=13980732 CPUtime=1.82 cores=0,2,4,6
/proc/7825/task/7828/stat : 7828 (java) S 7823 7823 5234 0 -1 1077944384 1394 0 0 0 163 19 0 0 20 0 15 0 8929877 14316269568 308702 18446744073709551615 4194304 4196468 140734900038032 139735488130192 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7829] ppid=7823 vsize=13980732 CPUtime=1.87 cores=0,2,4,6
/proc/7825/task/7829/stat : 7829 (java) S 7823 7823 5234 0 -1 1077944384 1054 0 0 0 166 21 0 0 20 0 15 0 8929877 14316269568 308702 18446744073709551615 4194304 4196468 140734900038032 139735487077136 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7830] ppid=7823 vsize=13980732 CPUtime=1.83 cores=0,2,4,6
/proc/7825/task/7830/stat : 7830 (java) S 7823 7823 5234 0 -1 1077944384 2787 0 0 0 164 19 0 0 20 0 15 0 8929877 14316269568 308702 18446744073709551615 4194304 4196468 140734900038032 139735129582480 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7831] ppid=7823 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/7825/task/7831/stat : 7831 (java) S 7823 7823 5234 0 -1 1077944384 1413 0 0 0 10 0 0 0 20 0 15 0 8929879 14316269568 308702 18446744073709551615 4194304 4196468 140734900038032 139734650292464 139735532227202 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7832] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7832/stat : 7832 (java) S 7823 7823 5234 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 8929879 14316269568 308702 18446744073709551615 4194304 4196468 140734900038032 139734649238752 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7833] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7833/stat : 7833 (java) S 7823 7823 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8929879 14316269568 308702 18446744073709551615 4194304 4196468 140734900038032 139734648185600 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7834] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7834/stat : 7834 (java) S 7823 7823 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8929882 14316269568 308702 18446744073709551615 4194304 4196468 140734900038032 139734647134160 139735532234651 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7835] ppid=7823 vsize=13980732 CPUtime=1.95 cores=0,2,4,6
/proc/7825/task/7835/stat : 7835 (java) S 7823 7823 5234 0 -1 1077944384 3713 0 0 0 195 0 0 0 20 0 15 0 8929882 14316269568 308702 18446744073709551615 4194304 4196468 140734900038032 139734646082288 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7836] ppid=7823 vsize=13980732 CPUtime=1.97 cores=0,2,4,6
/proc/7825/task/7836/stat : 7836 (java) S 7823 7823 5234 0 -1 1077944384 3275 0 0 0 196 1 0 0 20 0 15 0 8929882 14316269568 308702 18446744073709551615 4194304 4196468 140734900038032 139734645029744 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7837] ppid=7823 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/7825/task/7837/stat : 7837 (java) S 7823 7823 5234 0 -1 1077944384 3208 0 0 0 60 0 0 0 20 0 15 0 8929882 14316269568 308702 18446744073709551615 4194304 4196468 140734900038032 139734643976688 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7838] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7838/stat : 7838 (java) S 7823 7823 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8929882 14316269568 308702 18446744073709551615 4194304 4196468 140734900038032 139734642924384 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7839] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7839/stat : 7839 (java) S 7823 7823 5234 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 15 0 8929889 14316269568 308702 18446744073709551615 4194304 4196468 140734900038032 139734641871408 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
Current children cumulated CPU time (s) 16.2
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.99 1.94 1.81 3/217 7848
/proc/meminfo: memFree=30366764/32770624 swapFree=0/278800
[pid=7823] ppid=7820 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7823/stat : 7823 (xcsp3-exec) S 7820 7823 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8929868 9740288 345 18446744073709551615 4194304 5098028 140732754637248 140732754635352 139895799878268 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 24514560 140732754645403 140732754645607 140732754645607 140732754649067 0
/proc/7823/statm: 2378 345 289 221 0 87 0
[pid=7825] ppid=7823 vsize=13980732 CPUtime=24.46 cores=0,2,4,6
/proc/7825/stat : 7825 (java) S 7823 7823 5234 0 -1 1077944320 35711 0 0 0 2344 102 0 0 20 0 15 0 8929876 14316269568 310081 18446744073709551615 4194304 4196468 140734900038032 140734900020576 139735532216055 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
/proc/7825/statm: 3495183 310081 3247 1 0 3483484 0
[pid=7825/tid=7826] ppid=7823 vsize=13980732 CPUtime=10.5 cores=0,2,4,6
/proc/7825/task/7826/stat : 7826 (java) R 7823 7823 5234 0 -1 4202560 11406 0 0 0 1041 9 0 0 20 0 15 0 8929876 14316269568 310081 18446744073709551615 4194304 4196468 140734900038032 139735536452456 139735176117245 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7827] ppid=7823 vsize=13980732 CPUtime=1.85 cores=0,2,4,6
/proc/7825/task/7827/stat : 7827 (java) S 7823 7823 5234 0 -1 1077944384 1600 0 0 0 165 20 0 0 20 0 15 0 8929877 14316269568 310081 18446744073709551615 4194304 4196468 140734900038032 139735489182736 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7828] ppid=7823 vsize=13980732 CPUtime=1.82 cores=0,2,4,6
/proc/7825/task/7828/stat : 7828 (java) S 7823 7823 5234 0 -1 1077944384 1394 0 0 0 163 19 0 0 20 0 15 0 8929877 14316269568 310081 18446744073709551615 4194304 4196468 140734900038032 139735488130192 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
################
# More data... #
################
/proc/7825/stat : 7825 (java) S 7823 7823 5234 0 -1 1077944320 40543 0 0 0 11342 105 0 0 20 0 15 0 8929876 14316269568 309304 18446744073709551615 4194304 4196468 140734900038032 140734900020576 139735532216055 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
/proc/7825/statm: 3495183 309304 3247 1 0 3483484 0
[pid=7825/tid=7826] ppid=7823 vsize=13980732 CPUtime=100.11 cores=0,2,4,6
/proc/7825/task/7826/stat : 7826 (java) R 7823 7823 5234 0 -1 4202560 13024 0 0 0 10002 9 0 0 20 0 15 0 8929876 14316269568 309304 18446744073709551615 4194304 4196468 140734900038032 139735536452424 139735176290026 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7827] ppid=7823 vsize=13980732 CPUtime=1.85 cores=0,2,4,6
/proc/7825/task/7827/stat : 7827 (java) S 7823 7823 5234 0 -1 1077944384 1600 0 0 0 165 20 0 0 20 0 15 0 8929877 14316269568 309304 18446744073709551615 4194304 4196468 140734900038032 139735489182736 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7828] ppid=7823 vsize=13980732 CPUtime=1.82 cores=0,2,4,6
/proc/7825/task/7828/stat : 7828 (java) S 7823 7823 5234 0 -1 1077944384 1394 0 0 0 163 19 0 0 20 0 15 0 8929877 14316269568 309304 18446744073709551615 4194304 4196468 140734900038032 139735488130192 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7829] ppid=7823 vsize=13980732 CPUtime=1.87 cores=0,2,4,6
/proc/7825/task/7829/stat : 7829 (java) S 7823 7823 5234 0 -1 1077944384 1054 0 0 0 166 21 0 0 20 0 15 0 8929877 14316269568 309304 18446744073709551615 4194304 4196468 140734900038032 139735487077136 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7830] ppid=7823 vsize=13980732 CPUtime=1.83 cores=0,2,4,6
/proc/7825/task/7830/stat : 7830 (java) S 7823 7823 5234 0 -1 1077944384 2787 0 0 0 164 19 0 0 20 0 15 0 8929877 14316269568 309304 18446744073709551615 4194304 4196468 140734900038032 139735129582480 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7831] ppid=7823 vsize=13980732 CPUtime=0.17 cores=0,2,4,6
/proc/7825/task/7831/stat : 7831 (java) S 7823 7823 5234 0 -1 1077944384 1496 0 0 0 11 6 0 0 20 0 15 0 8929879 14316269568 309304 18446744073709551615 4194304 4196468 140734900038032 139734650292464 139735532227202 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7832] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7832/stat : 7832 (java) S 7823 7823 5234 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 8929879 14316269568 309304 18446744073709551615 4194304 4196468 140734900038032 139734649238752 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7833] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7833/stat : 7833 (java) S 7823 7823 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8929879 14316269568 309304 18446744073709551615 4194304 4196468 140734900038032 139734648185600 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7834] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7834/stat : 7834 (java) S 7823 7823 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8929882 14316269568 309304 18446744073709551615 4194304 4196468 140734900038032 139734647134160 139735532234651 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7835] ppid=7823 vsize=13980732 CPUtime=2.87 cores=0,2,4,6
/proc/7825/task/7835/stat : 7835 (java) S 7823 7823 5234 0 -1 1077944384 6692 0 0 0 286 1 0 0 20 0 15 0 8929882 14316269568 309304 18446744073709551615 4194304 4196468 140734900038032 139734646082288 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7836] ppid=7823 vsize=13980732 CPUtime=3.08 cores=0,2,4,6
/proc/7825/task/7836/stat : 7836 (java) S 7823 7823 5234 0 -1 1077944384 6419 0 0 0 307 1 0 0 20 0 15 0 8929882 14316269568 309304 18446744073709551615 4194304 4196468 140734900038032 139734645029744 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7837] ppid=7823 vsize=13980732 CPUtime=0.69 cores=0,2,4,6
/proc/7825/task/7837/stat : 7837 (java) S 7823 7823 5234 0 -1 1077944384 3848 0 0 0 68 1 0 0 20 0 15 0 8929882 14316269568 309304 18446744073709551615 4194304 4196468 140734900038032 139734643976688 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7838] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7838/stat : 7838 (java) S 7823 7823 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8929882 14316269568 309304 18446744073709551615 4194304 4196468 140734900038032 139734642924384 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7839] ppid=7823 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/7825/task/7839/stat : 7839 (java) S 7823 7823 5234 0 -1 1077944384 928 0 0 0 3 3 0 0 20 0 15 0 8929889 14316269568 309304 18446744073709551615 4194304 4196468 140734900038032 139734641871408 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
Current children cumulated CPU time (s) 114.47
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.99 1.96 1.84 3/218 7853
/proc/meminfo: memFree=29072840/32770624 swapFree=0/278880
[pid=7823] ppid=7820 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7823/stat : 7823 (xcsp3-exec) S 7820 7823 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8929868 9740288 345 18446744073709551615 4194304 5098028 140732754637248 140732754635352 139895799878268 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 24514560 140732754645403 140732754645607 140732754645607 140732754649067 0
/proc/7823/statm: 2378 345 289 221 0 87 0
[pid=7825] ppid=7823 vsize=13980732 CPUtime=174.76 cores=0,2,4,6
/proc/7825/stat : 7825 (java) S 7823 7823 5234 0 -1 1077944320 46711 0 0 0 17370 106 0 0 20 0 15 0 8929876 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 140734900020576 139735532216055 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
/proc/7825/statm: 3495183 309337 3247 1 0 3483484 0
[pid=7825/tid=7826] ppid=7823 vsize=13980732 CPUtime=160.11 cores=0,2,4,6
/proc/7825/task/7826/stat : 7826 (java) R 7823 7823 5234 0 -1 4202560 13743 0 0 0 16002 9 0 0 20 0 15 0 8929876 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139735536453256 139735175105022 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7827] ppid=7823 vsize=13980732 CPUtime=1.85 cores=0,2,4,6
/proc/7825/task/7827/stat : 7827 (java) S 7823 7823 5234 0 -1 1077944384 1600 0 0 0 165 20 0 0 20 0 15 0 8929877 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139735489182736 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7828] ppid=7823 vsize=13980732 CPUtime=1.82 cores=0,2,4,6
/proc/7825/task/7828/stat : 7828 (java) S 7823 7823 5234 0 -1 1077944384 1394 0 0 0 163 19 0 0 20 0 15 0 8929877 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139735488130192 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7829] ppid=7823 vsize=13980732 CPUtime=1.87 cores=0,2,4,6
/proc/7825/task/7829/stat : 7829 (java) S 7823 7823 5234 0 -1 1077944384 1054 0 0 0 166 21 0 0 20 0 15 0 8929877 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139735487077136 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7830] ppid=7823 vsize=13980732 CPUtime=1.83 cores=0,2,4,6
/proc/7825/task/7830/stat : 7830 (java) S 7823 7823 5234 0 -1 1077944384 2787 0 0 0 164 19 0 0 20 0 15 0 8929877 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139735129582480 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7831] ppid=7823 vsize=13980732 CPUtime=0.17 cores=0,2,4,6
/proc/7825/task/7831/stat : 7831 (java) S 7823 7823 5234 0 -1 1077944384 1582 0 0 0 11 6 0 0 20 0 15 0 8929879 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139734650292464 139735532227202 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7832] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7832/stat : 7832 (java) S 7823 7823 5234 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 8929879 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139734649238752 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7833] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7833/stat : 7833 (java) S 7823 7823 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8929879 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139734648185600 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7834] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7834/stat : 7834 (java) S 7823 7823 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8929882 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139734647134160 139735532234651 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7835] ppid=7823 vsize=13980732 CPUtime=2.96 cores=0,2,4,6
/proc/7825/task/7835/stat : 7835 (java) S 7823 7823 5234 0 -1 1077944384 9293 0 0 0 295 1 0 0 20 0 15 0 8929882 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139734646082288 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7836] ppid=7823 vsize=13980732 CPUtime=3.24 cores=0,2,4,6
/proc/7825/task/7836/stat : 7836 (java) S 7823 7823 5234 0 -1 1077944384 8658 0 0 0 323 1 0 0 20 0 15 0 8929882 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139734645029744 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7837] ppid=7823 vsize=13980732 CPUtime=0.7 cores=0,2,4,6
/proc/7825/task/7837/stat : 7837 (java) S 7823 7823 5234 0 -1 1077944384 4324 0 0 0 69 1 0 0 20 0 15 0 8929882 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139734643976688 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7838] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7838/stat : 7838 (java) S 7823 7823 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8929882 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139734642924384 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7839] ppid=7823 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/7825/task/7839/stat : 7839 (java) S 7823 7823 5234 0 -1 1077944384 975 0 0 0 5 5 0 0 20 0 15 0 8929889 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139734641871408 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
Current children cumulated CPU time (s) 174.76
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.99 1.96 1.85 3/218 7855
/proc/meminfo: memFree=29072088/32770624 swapFree=0/278900
[pid=7823] ppid=7820 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7823/stat : 7823 (xcsp3-exec) S 7820 7823 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8929868 9740288 345 18446744073709551615 4194304 5098028 140732754637248 140732754635352 139895799878268 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 24514560 140732754645403 140732754645607 140732754645607 140732754649067 0
/proc/7823/statm: 2378 345 289 221 0 87 0
[pid=7825] ppid=7823 vsize=13980732 CPUtime=234.82 cores=0,2,4,6
/proc/7825/stat : 7825 (java) S 7823 7823 5234 0 -1 1077944320 47129 0 0 0 23375 107 0 0 20 0 15 0 8929876 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 140734900020576 139735532216055 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
/proc/7825/statm: 3495183 309337 3247 1 0 3483484 0
[pid=7825/tid=7826] ppid=7823 vsize=13980732 CPUtime=220.12 cores=0,2,4,6
/proc/7825/task/7826/stat : 7826 (java) R 7823 7823 5234 0 -1 4202560 14081 0 0 0 22003 9 0 0 20 0 15 0 8929876 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139735536453256 139735175100256 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7827] ppid=7823 vsize=13980732 CPUtime=1.85 cores=0,2,4,6
/proc/7825/task/7827/stat : 7827 (java) S 7823 7823 5234 0 -1 1077944384 1600 0 0 0 165 20 0 0 20 0 15 0 8929877 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139735489182736 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7828] ppid=7823 vsize=13980732 CPUtime=1.82 cores=0,2,4,6
/proc/7825/task/7828/stat : 7828 (java) S 7823 7823 5234 0 -1 1077944384 1394 0 0 0 163 19 0 0 20 0 15 0 8929877 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139735488130192 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7829] ppid=7823 vsize=13980732 CPUtime=1.87 cores=0,2,4,6
/proc/7825/task/7829/stat : 7829 (java) S 7823 7823 5234 0 -1 1077944384 1054 0 0 0 166 21 0 0 20 0 15 0 8929877 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139735487077136 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7830] ppid=7823 vsize=13980732 CPUtime=1.83 cores=0,2,4,6
/proc/7825/task/7830/stat : 7830 (java) S 7823 7823 5234 0 -1 1077944384 2787 0 0 0 164 19 0 0 20 0 15 0 8929877 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139735129582480 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7831] ppid=7823 vsize=13980732 CPUtime=0.17 cores=0,2,4,6
/proc/7825/task/7831/stat : 7831 (java) S 7823 7823 5234 0 -1 1077944384 1592 0 0 0 11 6 0 0 20 0 15 0 8929879 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139734650292464 139735532227202 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7832] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7832/stat : 7832 (java) S 7823 7823 5234 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 8929879 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139734649238752 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7833] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7833/stat : 7833 (java) S 7823 7823 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8929879 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139734648185600 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7834] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7834/stat : 7834 (java) S 7823 7823 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8929882 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139734647134160 139735532234651 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7835] ppid=7823 vsize=13980732 CPUtime=2.96 cores=0,2,4,6
/proc/7825/task/7835/stat : 7835 (java) S 7823 7823 5234 0 -1 1077944384 9297 0 0 0 295 1 0 0 20 0 15 0 8929882 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139734646082288 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7836] ppid=7823 vsize=13980732 CPUtime=3.25 cores=0,2,4,6
/proc/7825/task/7836/stat : 7836 (java) S 7823 7823 5234 0 -1 1077944384 8680 0 0 0 324 1 0 0 20 0 15 0 8929882 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139734645029744 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7837] ppid=7823 vsize=13980732 CPUtime=0.7 cores=0,2,4,6
/proc/7825/task/7837/stat : 7837 (java) S 7823 7823 5234 0 -1 1077944384 4331 0 0 0 69 1 0 0 20 0 15 0 8929882 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139734643976688 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7838] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7838/stat : 7838 (java) S 7823 7823 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8929882 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139734642924384 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7839] ppid=7823 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/7825/task/7839/stat : 7839 (java) S 7823 7823 5234 0 -1 1077944384 1012 0 0 0 7 6 0 0 20 0 15 0 8929889 14316269568 309337 18446744073709551615 4194304 4196468 140734900038032 139734641871408 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
Current children cumulated CPU time (s) 234.82
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.16 2.00 1.86 5/218 8013
/proc/meminfo: memFree=30558676/32770624 swapFree=0/278896
[pid=7823] ppid=7820 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7823/stat : 7823 (xcsp3-exec) S 7820 7823 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8929868 9740288 345 18446744073709551615 4194304 5098028 140732754637248 140732754635352 139895799878268 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 24514560 140732754645403 140732754645607 140732754645607 140732754649067 0
/proc/7823/statm: 2378 345 289 221 0 87 0
[pid=7825] ppid=7823 vsize=13980732 CPUtime=252.53 cores=0,2,4,6
/proc/7825/stat : 7825 (java) S 7823 7823 5234 0 -1 1077944320 48084 0 0 0 25145 108 0 0 20 0 15 0 8929876 14316269568 309338 18446744073709551615 4194304 4196468 140734900038032 140734900020576 139735532216055 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
/proc/7825/statm: 3495183 309338 3247 1 0 3483484 0
[pid=7825/tid=7826] ppid=7823 vsize=13980732 CPUtime=237.81 cores=0,2,4,6
/proc/7825/task/7826/stat : 7826 (java) R 7823 7823 5234 0 -1 4202560 14556 0 0 0 23772 9 0 0 20 0 15 0 8929876 14316269568 309338 18446744073709551615 4194304 4196468 140734900038032 139735536453016 139735175105001 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7827] ppid=7823 vsize=13980732 CPUtime=1.85 cores=0,2,4,6
/proc/7825/task/7827/stat : 7827 (java) S 7823 7823 5234 0 -1 1077944384 1600 0 0 0 165 20 0 0 20 0 15 0 8929877 14316269568 309338 18446744073709551615 4194304 4196468 140734900038032 139735489182736 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7828] ppid=7823 vsize=13980732 CPUtime=1.82 cores=0,2,4,6
/proc/7825/task/7828/stat : 7828 (java) S 7823 7823 5234 0 -1 1077944384 1394 0 0 0 163 19 0 0 20 0 15 0 8929877 14316269568 309338 18446744073709551615 4194304 4196468 140734900038032 139735488130192 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7829] ppid=7823 vsize=13980732 CPUtime=1.87 cores=0,2,4,6
/proc/7825/task/7829/stat : 7829 (java) S 7823 7823 5234 0 -1 1077944384 1054 0 0 0 166 21 0 0 20 0 15 0 8929877 14316269568 309338 18446744073709551615 4194304 4196468 140734900038032 139735487077136 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7830] ppid=7823 vsize=13980732 CPUtime=1.83 cores=0,2,4,6
/proc/7825/task/7830/stat : 7830 (java) S 7823 7823 5234 0 -1 1077944384 2787 0 0 0 164 19 0 0 20 0 15 0 8929877 14316269568 309338 18446744073709551615 4194304 4196468 140734900038032 139735129582480 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7831] ppid=7823 vsize=13980732 CPUtime=0.17 cores=0,2,4,6
/proc/7825/task/7831/stat : 7831 (java) S 7823 7823 5234 0 -1 1077944384 1592 0 0 0 11 6 0 0 20 0 15 0 8929879 14316269568 309338 18446744073709551615 4194304 4196468 140734900038032 139734650292464 139735532227202 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7832] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7832/stat : 7832 (java) S 7823 7823 5234 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 8929879 14316269568 309338 18446744073709551615 4194304 4196468 140734900038032 139734649238752 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7833] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7833/stat : 7833 (java) S 7823 7823 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8929879 14316269568 309338 18446744073709551615 4194304 4196468 140734900038032 139734648185600 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7834] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7834/stat : 7834 (java) S 7823 7823 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8929882 14316269568 309338 18446744073709551615 4194304 4196468 140734900038032 139734647134160 139735532234651 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7835] ppid=7823 vsize=13980732 CPUtime=2.96 cores=0,2,4,6
/proc/7825/task/7835/stat : 7835 (java) S 7823 7823 5234 0 -1 1077944384 9717 0 0 0 295 1 0 0 20 0 15 0 8929882 14316269568 309338 18446744073709551615 4194304 4196468 140734900038032 139734646082288 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7836] ppid=7823 vsize=13980732 CPUtime=3.25 cores=0,2,4,6
/proc/7825/task/7836/stat : 7836 (java) S 7823 7823 5234 0 -1 1077944384 8739 0 0 0 324 1 0 0 20 0 15 0 8929882 14316269568 309338 18446744073709551615 4194304 4196468 140734900038032 139734645029744 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7837] ppid=7823 vsize=13980732 CPUtime=0.7 cores=0,2,4,6
/proc/7825/task/7837/stat : 7837 (java) S 7823 7823 5234 0 -1 1077944384 4331 0 0 0 69 1 0 0 20 0 15 0 8929882 14316269568 309338 18446744073709551615 4194304 4196468 140734900038032 139734643976688 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7838] ppid=7823 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7825/task/7838/stat : 7838 (java) S 7823 7823 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8929882 14316269568 309338 18446744073709551615 4194304 4196468 140734900038032 139734642924384 139735532226261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
[pid=7825/tid=7839] ppid=7823 vsize=13980732 CPUtime=0.15 cores=0,2,4,6
/proc/7825/task/7839/stat : 7839 (java) S 7823 7823 5234 0 -1 1077944384 1013 0 0 0 8 7 0 0 20 0 15 0 8929889 14316269568 309338 18446744073709551615 4194304 4196468 140734900038032 139734641871408 139735532227202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11583488 140734900044244 140734900044419 140734900044419 140734900047823 0
Current children cumulated CPU time (s) 252.53
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 7825 sig 9
??? kill 7823 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.017
CPU time (s): 252.565
CPU user time (s): 251.47
CPU system time (s): 1.09565
CPU usage (%): 105.228
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.47
system time used= 1.09565
maximum resident set size= 1240376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49176
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= 8057
involuntary context switches= 194
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.019 second user time and 1.73821 second system time
The end