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-4254300-1501979526/watcher-4254300-1501979526 -o /tmp/evaluation-result-4254300-1501979526/solver-4254300-1501979526 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501978181-12402 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 978122136 HOME/instance-4254300-1501979526.xml
pid=12788
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.82 1.92 1.89 3/199 12791
/proc/meminfo: memFree=31458096/32770624 swapFree=0/315472
[pid=12791] ppid=12788 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/12791/stat : 12791 (runsolver) D 12788 12791 12039 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 97605798 24240128 106 18446744073709551615 4194304 4338465 140723562534480 140723562532120 140370880234199 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 26914816 140723562537059 140723562537548 140723562537548 140723562541002 0
/proc/12791/statm: 5918 106 53 36 0 2156 0
[startup+0.100198 s]
/proc/loadavg: 1.82 1.92 1.89 3/199 12791
/proc/meminfo: memFree=31458096/32770624 swapFree=0/315472
[pid=12791] ppid=12788 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12791/stat : 12791 (xcsp3-exec) S 12788 12791 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97605798 9740288 345 18446744073709551615 4194304 5098028 140725342969680 140725342967784 140710920127100 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 35770368 140725342974370 140725342974573 140725342974573 140725342978027 0
/proc/12791/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200241 s]
/proc/loadavg: 1.82 1.92 1.89 3/199 12791
/proc/meminfo: memFree=31458096/32770624 swapFree=0/315472
[pid=12791] ppid=12788 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12791/stat : 12791 (xcsp3-exec) S 12788 12791 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97605798 9740288 345 18446744073709551615 4194304 5098028 140725342969680 140725342967784 140710920127100 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 35770368 140725342974370 140725342974573 140725342974573 140725342978027 0
/proc/12791/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.305102 s]
/proc/loadavg: 1.82 1.92 1.89 3/199 12791
/proc/meminfo: memFree=31458096/32770624 swapFree=0/315472
[pid=12791] ppid=12788 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12791/stat : 12791 (xcsp3-exec) S 12788 12791 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97605798 9740288 345 18446744073709551615 4194304 5098028 140725342969680 140725342967784 140710920127100 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 35770368 140725342974370 140725342974573 140725342974573 140725342978027 0
/proc/12791/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700167 s]
/proc/loadavg: 1.82 1.92 1.89 3/199 12791
/proc/meminfo: memFree=31458096/32770624 swapFree=0/315472
[pid=12791] ppid=12788 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12791/stat : 12791 (xcsp3-exec) S 12788 12791 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97605798 9740288 345 18446744073709551615 4194304 5098028 140725342969680 140725342967784 140710920127100 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 35770368 140725342974370 140725342974573 140725342974573 140725342978027 0
/proc/12791/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50066 s]
/proc/loadavg: 1.82 1.92 1.89 5/215 12807
/proc/meminfo: memFree=31383884/32770624 swapFree=0/315464
[pid=12791] ppid=12788 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12791/stat : 12791 (xcsp3-exec) S 12788 12791 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97605798 9740288 345 18446744073709551615 4194304 5098028 140725342969680 140725342967784 140710920127100 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 35770368 140725342974370 140725342974573 140725342974573 140725342978027 0
/proc/12791/statm: 2378 345 289 221 0 87 0
[pid=12793] ppid=12791 vsize=13980732 CPUtime=3.76 cores=0,2,4,6
/proc/12793/stat : 12793 (java) S 12791 12791 12039 0 -1 1077944320 28540 0 0 0 368 8 0 0 20 0 15 0 97605805 14316269568 29697 18446744073709551615 4194304 4196468 140735004189808 140735004172352 140691499036407 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
/proc/12793/statm: 3495183 29697 3197 1 0 3483476 0
[pid=12793/tid=12794] ppid=12791 vsize=13980732 CPUtime=1.36 cores=0,2,4,6
/proc/12793/task/12794/stat : 12794 (java) R 12791 12791 12039 0 -1 4202560 9759 0 0 0 132 4 0 0 20 0 15 0 97605805 14316269568 29697 18446744073709551615 4194304 4196468 140735004189808 140691503271456 140691136599614 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12795] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12795/stat : 12795 (java) S 12791 12791 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97605806 14316269568 29697 18446744073709551615 4194304 4196468 140735004189808 140691456003088 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12796] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12796/stat : 12796 (java) S 12791 12791 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97605806 14316269568 29697 18446744073709551615 4194304 4196468 140735004189808 140691454950544 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12797] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12797/stat : 12797 (java) S 12791 12791 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97605806 14316269568 29697 18446744073709551615 4194304 4196468 140735004189808 140691453897488 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12798] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12798/stat : 12798 (java) S 12791 12791 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97605806 14316269568 29697 18446744073709551615 4194304 4196468 140735004189808 140691452844944 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12799] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12799/stat : 12799 (java) S 12791 12791 12039 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 97605807 14316269568 29697 18446744073709551615 4194304 4196468 140735004189808 140690976643312 140691499047554 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12800] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12800/stat : 12800 (java) S 12791 12791 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97605808 14316269568 29697 18446744073709551615 4194304 4196468 140735004189808 140690975589536 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12801] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12801/stat : 12801 (java) S 12791 12791 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97605808 14316269568 29697 18446744073709551615 4194304 4196468 140735004189808 140690974536432 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12802] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12802/stat : 12802 (java) S 12791 12791 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97605810 14316269568 29697 18446744073709551615 4194304 4196468 140735004189808 140690973485008 140691499055003 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12803] ppid=12791 vsize=13980732 CPUtime=0.92 cores=0,2,4,6
/proc/12793/task/12803/stat : 12803 (java) R 12791 12791 12039 0 -1 4202560 7459 0 0 0 91 1 0 0 20 0 15 0 97605810 14316269568 29697 18446744073709551615 4194304 4196468 140735004189808 140690972418256 140691484147765 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12804] ppid=12791 vsize=13980732 CPUtime=0.93 cores=0,2,4,6
/proc/12793/task/12804/stat : 12804 (java) R 12791 12791 12039 0 -1 4202560 7022 0 0 0 92 1 0 0 20 0 15 0 97605810 14316269568 29697 18446744073709551615 4194304 4196468 140735004189808 140690971361608 140691480580663 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12805] ppid=12791 vsize=13980732 CPUtime=0.53 cores=0,2,4,6
/proc/12793/task/12805/stat : 12805 (java) S 12791 12791 12039 0 -1 1077944384 2955 0 0 0 52 1 0 0 20 0 15 0 97605810 14316269568 29697 18446744073709551615 4194304 4196468 140735004189808 140690970327536 140691499047554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12806] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12806/stat : 12806 (java) S 12791 12791 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97605811 14316269568 29697 18446744073709551615 4194304 4196468 140735004189808 140690969275232 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12807] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12807/stat : 12807 (java) S 12791 12791 12039 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 97605816 14316269568 29697 18446744073709551615 4194304 4196468 140735004189808 140690968222256 140691499047554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 13990244
[startup+3.10068 s]
/proc/loadavg: 1.84 1.92 1.89 5/215 12807
/proc/meminfo: memFree=31332644/32770624 swapFree=0/315464
[pid=12791] ppid=12788 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12791/stat : 12791 (xcsp3-exec) S 12788 12791 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97605798 9740288 345 18446744073709551615 4194304 5098028 140725342969680 140725342967784 140710920127100 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 35770368 140725342974370 140725342974573 140725342974573 140725342978027 0
/proc/12791/statm: 2378 345 289 221 0 87 0
[pid=12793] ppid=12791 vsize=13980732 CPUtime=8.62 cores=0,2,4,6
/proc/12793/stat : 12793 (java) S 12791 12791 12039 0 -1 1077944320 37996 0 0 0 852 10 0 0 20 0 15 0 97605805 14316269568 36735 18446744073709551615 4194304 4196468 140735004189808 140735004172352 140691499036407 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
/proc/12793/statm: 3495183 36735 3197 1 0 3483476 0
[pid=12793/tid=12794] ppid=12791 vsize=13980732 CPUtime=2.96 cores=0,2,4,6
/proc/12793/task/12794/stat : 12794 (java) R 12791 12791 12039 0 -1 4202560 9855 0 0 0 292 4 0 0 20 0 15 0 97605805 14316269568 36735 18446744073709551615 4194304 4196468 140735004189808 140691503272600 140691138092381 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12795] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12795/stat : 12795 (java) S 12791 12791 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97605806 14316269568 36735 18446744073709551615 4194304 4196468 140735004189808 140691456003088 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12796] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12796/stat : 12796 (java) S 12791 12791 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97605806 14316269568 36735 18446744073709551615 4194304 4196468 140735004189808 140691454950544 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12797] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12797/stat : 12797 (java) S 12791 12791 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97605806 14316269568 36735 18446744073709551615 4194304 4196468 140735004189808 140691453897488 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12798] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12798/stat : 12798 (java) S 12791 12791 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97605806 14316269568 36735 18446744073709551615 4194304 4196468 140735004189808 140691452844944 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12799] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12799/stat : 12799 (java) S 12791 12791 12039 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 97605807 14316269568 36735 18446744073709551615 4194304 4196468 140735004189808 140690976643312 140691499047554 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12800] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12800/stat : 12800 (java) S 12791 12791 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97605808 14316269568 36735 18446744073709551615 4194304 4196468 140735004189808 140690975589536 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12801] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12801/stat : 12801 (java) S 12791 12791 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97605808 14316269568 36735 18446744073709551615 4194304 4196468 140735004189808 140690974536432 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12802] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12802/stat : 12802 (java) S 12791 12791 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97605810 14316269568 36735 18446744073709551615 4194304 4196468 140735004189808 140690973485008 140691499055003 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12803] ppid=12791 vsize=13980732 CPUtime=2.51 cores=0,2,4,6
/proc/12793/task/12803/stat : 12803 (java) R 12791 12791 12039 0 -1 4202560 11460 0 0 0 250 1 0 0 20 0 15 0 97605810 14316269568 36735 18446744073709551615 4194304 4196468 140735004189808 140690972425624 140691478890056 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12804] ppid=12791 vsize=13980732 CPUtime=2.53 cores=0,2,4,6
/proc/12793/task/12804/stat : 12804 (java) R 12791 12791 12039 0 -1 4202560 12187 0 0 0 251 2 0 0 20 0 15 0 97605810 14316269568 36735 18446744073709551615 4194304 4196468 140735004189808 140690971371568 140691484161846 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12805] ppid=12791 vsize=13980732 CPUtime=0.58 cores=0,2,4,6
/proc/12793/task/12805/stat : 12805 (java) S 12791 12791 12039 0 -1 1077944384 3133 0 0 0 57 1 0 0 20 0 15 0 97605810 14316269568 36735 18446744073709551615 4194304 4196468 140735004189808 140690970327536 140691499047554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12806] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12806/stat : 12806 (java) S 12791 12791 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97605811 14316269568 36735 18446744073709551615 4194304 4196468 140735004189808 140690969275232 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12807] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12807/stat : 12807 (java) S 12791 12791 12039 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 97605816 14316269568 36735 18446744073709551615 4194304 4196468 140735004189808 140690968222256 140691499047554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
Current children cumulated CPU time (s) 8.62
Current children cumulated vsize (KiB) 13990244
[startup+6.30075 s]
/proc/loadavg: 1.84 1.92 1.89 4/215 12888
/proc/meminfo: memFree=31456600/32770624 swapFree=0/315452
[pid=12791] ppid=12788 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12791/stat : 12791 (xcsp3-exec) S 12788 12791 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97605798 9740288 345 18446744073709551615 4194304 5098028 140725342969680 140725342967784 140710920127100 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 35770368 140725342974370 140725342974573 140725342974573 140725342978027 0
/proc/12791/statm: 2378 345 289 221 0 87 0
[pid=12793] ppid=12791 vsize=13980732 CPUtime=16.94 cores=0,2,4,6
/proc/12793/stat : 12793 (java) S 12791 12791 12039 0 -1 1077944320 60322 0 0 0 1682 12 0 0 20 0 15 0 97605805 14316269568 42983 18446744073709551615 4194304 4196468 140735004189808 140735004172352 140691499036407 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
/proc/12793/statm: 3495183 42983 3210 1 0 3483476 0
[pid=12793/tid=12794] ppid=12791 vsize=13980732 CPUtime=6.15 cores=0,2,4,6
/proc/12793/task/12794/stat : 12794 (java) R 12791 12791 12039 0 -1 4202560 10938 0 0 0 611 4 0 0 20 0 15 0 97605805 14316269568 42983 18446744073709551615 4194304 4196468 140735004189808 140691503273288 140691136600798 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12795] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12795/stat : 12795 (java) S 12791 12791 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97605806 14316269568 42983 18446744073709551615 4194304 4196468 140735004189808 140691456003088 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12796] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12796/stat : 12796 (java) S 12791 12791 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97605806 14316269568 42983 18446744073709551615 4194304 4196468 140735004189808 140691454950544 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12797] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12797/stat : 12797 (java) S 12791 12791 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97605806 14316269568 42983 18446744073709551615 4194304 4196468 140735004189808 140691453897488 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12798] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12798/stat : 12798 (java) S 12791 12791 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97605806 14316269568 42983 18446744073709551615 4194304 4196468 140735004189808 140691452844944 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12799] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12799/stat : 12799 (java) S 12791 12791 12039 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 15 0 97605807 14316269568 42983 18446744073709551615 4194304 4196468 140735004189808 140690976643312 140691499047554 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12800] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12800/stat : 12800 (java) S 12791 12791 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97605808 14316269568 42983 18446744073709551615 4194304 4196468 140735004189808 140690975589536 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12801] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12801/stat : 12801 (java) S 12791 12791 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97605808 14316269568 42983 18446744073709551615 4194304 4196468 140735004189808 140690974536432 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12802] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12802/stat : 12802 (java) S 12791 12791 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97605810 14316269568 42983 18446744073709551615 4194304 4196468 140735004189808 140690973485008 140691499055003 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12803] ppid=12791 vsize=13980732 CPUtime=5.13 cores=0,2,4,6
/proc/12793/task/12803/stat : 12803 (java) S 12791 12791 12039 0 -1 1077944384 23788 0 0 0 511 2 0 0 20 0 15 0 97605810 14316269568 42983 18446744073709551615 4194304 4196468 140735004189808 140690972433136 140691499047554 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12804] ppid=12791 vsize=13980732 CPUtime=4.9 cores=0,2,4,6
/proc/12793/task/12804/stat : 12804 (java) S 12791 12791 12039 0 -1 1077944384 18717 0 0 0 488 2 0 0 20 0 15 0 97605810 14316269568 42983 18446744073709551615 4194304 4196468 140735004189808 140690971380592 140691499047554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12805] ppid=12791 vsize=13980732 CPUtime=0.72 cores=0,2,4,6
/proc/12793/task/12805/stat : 12805 (java) S 12791 12791 12039 0 -1 1077944384 5106 0 0 0 70 2 0 0 20 0 15 0 97605810 14316269568 42983 18446744073709551615 4194304 4196468 140735004189808 140690970327536 140691499047554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12806] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12806/stat : 12806 (java) S 12791 12791 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97605811 14316269568 42983 18446744073709551615 4194304 4196468 140735004189808 140690969275232 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12807] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12807/stat : 12807 (java) S 12791 12791 12039 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 97605816 14316269568 42983 18446744073709551615 4194304 4196468 140735004189808 140690968222256 140691499047554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
Current children cumulated CPU time (s) 16.94
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.01 1.96 1.90 4/215 12967
/proc/meminfo: memFree=31350744/32770624 swapFree=0/315528
[pid=12791] ppid=12788 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12791/stat : 12791 (xcsp3-exec) S 12788 12791 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97605798 9740288 345 18446744073709551615 4194304 5098028 140725342969680 140725342967784 140710920127100 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 35770368 140725342974370 140725342974573 140725342974573 140725342978027 0
/proc/12791/statm: 2378 345 289 221 0 87 0
[pid=12793] ppid=12791 vsize=13980732 CPUtime=23.61 cores=0,2,4,6
/proc/12793/stat : 12793 (java) S 12791 12791 12039 0 -1 1077944320 63407 0 0 0 2348 13 0 0 20 0 15 0 97605805 14316269568 45669 18446744073709551615 4194304 4196468 140735004189808 140735004172352 140691499036407 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
/proc/12793/statm: 3495183 45669 3214 1 0 3483476 0
[pid=12793/tid=12794] ppid=12791 vsize=13980732 CPUtime=12.55 cores=0,2,4,6
/proc/12793/task/12794/stat : 12794 (java) R 12791 12791 12039 0 -1 4202560 11462 0 0 0 1250 5 0 0 20 0 15 0 97605805 14316269568 45669 18446744073709551615 4194304 4196468 140735004189808 140691503272160 140691140927799 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12795] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12795/stat : 12795 (java) S 12791 12791 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97605806 14316269568 45669 18446744073709551615 4194304 4196468 140735004189808 140691456003088 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12796] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12796/stat : 12796 (java) S 12791 12791 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97605806 14316269568 45669 18446744073709551615 4194304 4196468 140735004189808 140691454950544 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
################
# More data... #
################
/proc/12793/stat : 12793 (java) S 12791 12791 12039 0 -1 1077944320 76636 0 0 0 11333 17 0 0 20 0 15 0 97605805 14316269568 59132 18446744073709551615 4194304 4196468 140735004189808 140735004172352 140691499036407 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
/proc/12793/statm: 3495183 59132 3245 1 0 3483476 0
[pid=12793/tid=12794] ppid=12791 vsize=13980732 CPUtime=102.11 cores=0,2,4,6
/proc/12793/task/12794/stat : 12794 (java) R 12791 12791 12039 0 -1 4202560 13382 0 0 0 10206 5 0 0 20 0 15 0 97605805 14316269568 59132 18446744073709551615 4194304 4196468 140735004189808 140691503274896 140691140927877 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12795] ppid=12791 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/12793/task/12795/stat : 12795 (java) S 12791 12791 12039 0 -1 1077944384 1330 0 0 0 1 0 0 0 20 0 15 0 97605806 14316269568 59132 18446744073709551615 4194304 4196468 140735004189808 140691456003088 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12796] ppid=12791 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/12793/task/12796/stat : 12796 (java) S 12791 12791 12039 0 -1 1077944384 214 0 0 0 1 0 0 0 20 0 15 0 97605806 14316269568 59132 18446744073709551615 4194304 4196468 140735004189808 140691454950544 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12797] ppid=12791 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/12793/task/12797/stat : 12797 (java) S 12791 12791 12039 0 -1 1077944384 986 0 0 0 1 0 0 0 20 0 15 0 97605806 14316269568 59132 18446744073709551615 4194304 4196468 140735004189808 140691453897488 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12798] ppid=12791 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/12793/task/12798/stat : 12798 (java) S 12791 12791 12039 0 -1 1077944384 2421 0 0 0 1 0 0 0 20 0 15 0 97605806 14316269568 59132 18446744073709551615 4194304 4196468 140735004189808 140691452844944 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12799] ppid=12791 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/12793/task/12799/stat : 12799 (java) S 12791 12791 12039 0 -1 1077944384 1057 0 0 0 1 0 0 0 20 0 15 0 97605807 14316269568 59132 18446744073709551615 4194304 4196468 140735004189808 140690976643312 140691499047554 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12800] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12800/stat : 12800 (java) S 12791 12791 12039 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 97605808 14316269568 59132 18446744073709551615 4194304 4196468 140735004189808 140690975589536 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12801] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12801/stat : 12801 (java) S 12791 12791 12039 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 97605808 14316269568 59132 18446744073709551615 4194304 4196468 140735004189808 140690974536432 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12802] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12802/stat : 12802 (java) S 12791 12791 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97605810 14316269568 59132 18446744073709551615 4194304 4196468 140735004189808 140690973485008 140691499055003 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12803] ppid=12791 vsize=13980732 CPUtime=5.37 cores=0,2,4,6
/proc/12793/task/12803/stat : 12803 (java) S 12791 12791 12039 0 -1 1077944384 27186 0 0 0 535 2 0 0 20 0 15 0 97605810 14316269568 59132 18446744073709551615 4194304 4196468 140735004189808 140690972433136 140691499047554 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12804] ppid=12791 vsize=13980732 CPUtime=5.11 cores=0,2,4,6
/proc/12793/task/12804/stat : 12804 (java) S 12791 12791 12039 0 -1 1077944384 21702 0 0 0 508 3 0 0 20 0 15 0 97605810 14316269568 59132 18446744073709551615 4194304 4196468 140735004189808 140690971380592 140691499047554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12805] ppid=12791 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/12793/task/12805/stat : 12805 (java) S 12791 12791 12039 0 -1 1077944384 6495 0 0 0 73 2 0 0 20 0 15 0 97605810 14316269568 59132 18446744073709551615 4194304 4196468 140735004189808 140690970327536 140691499047554 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12806] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12806/stat : 12806 (java) S 12791 12791 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97605811 14316269568 59132 18446744073709551615 4194304 4196468 140735004189808 140690969275232 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12807] ppid=12791 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/12793/task/12807/stat : 12807 (java) S 12791 12791 12039 0 -1 1077944384 476 0 0 0 1 1 0 0 20 0 15 0 97605816 14316269568 59132 18446744073709551615 4194304 4196468 140735004189808 140690968222256 140691499047554 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
Current children cumulated CPU time (s) 113.5
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.71 1.89 1.89 3/219 12986
/proc/meminfo: memFree=31216100/32770624 swapFree=0/315620
[pid=12791] ppid=12788 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12791/stat : 12791 (xcsp3-exec) S 12788 12791 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97605798 9740288 345 18446744073709551615 4194304 5098028 140725342969680 140725342967784 140710920127100 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 35770368 140725342974370 140725342974573 140725342974573 140725342978027 0
/proc/12791/statm: 2378 345 289 221 0 87 0
[pid=12793] ppid=12791 vsize=13980732 CPUtime=173.59 cores=0,2,4,6
/proc/12793/stat : 12793 (java) S 12791 12791 12039 0 -1 1077944320 79334 0 0 0 17341 18 0 0 20 0 15 0 97605805 14316269568 62976 18446744073709551615 4194304 4196468 140735004189808 140735004172352 140691499036407 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
/proc/12793/statm: 3495183 62976 3245 1 0 3483476 0
[pid=12793/tid=12794] ppid=12791 vsize=13980732 CPUtime=162.08 cores=0,2,4,6
/proc/12793/task/12794/stat : 12794 (java) R 12791 12791 12039 0 -1 4202560 14235 0 0 0 16203 5 0 0 20 0 15 0 97605805 14316269568 62976 18446744073709551615 4194304 4196468 140735004189808 140691503274088 140691140927777 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12795] ppid=12791 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/12793/task/12795/stat : 12795 (java) S 12791 12791 12039 0 -1 1077944384 1373 0 0 0 2 0 0 0 20 0 15 0 97605806 14316269568 62976 18446744073709551615 4194304 4196468 140735004189808 140691456003088 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12796] ppid=12791 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/12793/task/12796/stat : 12796 (java) S 12791 12791 12039 0 -1 1077944384 268 0 0 0 2 0 0 0 20 0 15 0 97605806 14316269568 62976 18446744073709551615 4194304 4196468 140735004189808 140691454950544 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12797] ppid=12791 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/12793/task/12797/stat : 12797 (java) S 12791 12791 12039 0 -1 1077944384 1047 0 0 0 2 0 0 0 20 0 15 0 97605806 14316269568 62976 18446744073709551615 4194304 4196468 140735004189808 140691453897488 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12798] ppid=12791 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/12793/task/12798/stat : 12798 (java) S 12791 12791 12039 0 -1 1077944384 2607 0 0 0 1 0 0 0 20 0 15 0 97605806 14316269568 62976 18446744073709551615 4194304 4196468 140735004189808 140691452844944 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12799] ppid=12791 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/12793/task/12799/stat : 12799 (java) S 12791 12791 12039 0 -1 1077944384 1198 0 0 0 2 0 0 0 20 0 15 0 97605807 14316269568 62976 18446744073709551615 4194304 4196468 140735004189808 140690976643312 140691499047554 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12800] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12800/stat : 12800 (java) S 12791 12791 12039 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 97605808 14316269568 62976 18446744073709551615 4194304 4196468 140735004189808 140690975589536 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12801] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12801/stat : 12801 (java) S 12791 12791 12039 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 97605808 14316269568 62976 18446744073709551615 4194304 4196468 140735004189808 140690974536432 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12802] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12802/stat : 12802 (java) S 12791 12791 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97605810 14316269568 62976 18446744073709551615 4194304 4196468 140735004189808 140690973485008 140691499055003 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12803] ppid=12791 vsize=13980732 CPUtime=5.38 cores=0,2,4,6
/proc/12793/task/12803/stat : 12803 (java) S 12791 12791 12039 0 -1 1077944384 27536 0 0 0 536 2 0 0 20 0 15 0 97605810 14316269568 62976 18446744073709551615 4194304 4196468 140735004189808 140690972433136 140691499047554 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12804] ppid=12791 vsize=13980732 CPUtime=5.14 cores=0,2,4,6
/proc/12793/task/12804/stat : 12804 (java) S 12791 12791 12039 0 -1 1077944384 22280 0 0 0 511 3 0 0 20 0 15 0 97605810 14316269568 62976 18446744073709551615 4194304 4196468 140735004189808 140690971380592 140691499047554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12805] ppid=12791 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/12793/task/12805/stat : 12805 (java) S 12791 12791 12039 0 -1 1077944384 6905 0 0 0 73 2 0 0 20 0 15 0 97605810 14316269568 62976 18446744073709551615 4194304 4196468 140735004189808 140690970327536 140691499047554 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12806] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12806/stat : 12806 (java) S 12791 12791 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97605811 14316269568 62976 18446744073709551615 4194304 4196468 140735004189808 140690969275232 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12807] ppid=12791 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/12793/task/12807/stat : 12807 (java) S 12791 12791 12039 0 -1 1077944384 498 0 0 0 2 2 0 0 20 0 15 0 97605816 14316269568 62976 18446744073709551615 4194304 4196468 140735004189808 140690968222256 140691499047554 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
Current children cumulated CPU time (s) 173.59
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.88 1.90 1.89 3/220 12989
/proc/meminfo: memFree=31221840/32770624 swapFree=0/315668
[pid=12791] ppid=12788 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12791/stat : 12791 (xcsp3-exec) S 12788 12791 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97605798 9740288 345 18446744073709551615 4194304 5098028 140725342969680 140725342967784 140710920127100 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 35770368 140725342974370 140725342974573 140725342974573 140725342978027 0
/proc/12791/statm: 2378 345 289 221 0 87 0
[pid=12793] ppid=12791 vsize=13980732 CPUtime=233.76 cores=0,2,4,6
/proc/12793/stat : 12793 (java) S 12791 12791 12039 0 -1 1077944320 80958 0 0 0 23356 20 0 0 20 0 15 0 97605805 14316269568 62214 18446744073709551615 4194304 4196468 140735004189808 140735004172352 140691499036407 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
/proc/12793/statm: 3495183 62214 3245 1 0 3483476 0
[pid=12793/tid=12794] ppid=12791 vsize=13980732 CPUtime=222.07 cores=0,2,4,6
/proc/12793/task/12794/stat : 12794 (java) R 12791 12791 12039 0 -1 4202560 14441 0 0 0 22202 5 0 0 20 0 15 0 97605805 14316269568 62214 18446744073709551615 4194304 4196468 140735004189808 140691503275568 140691139251179 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12795] ppid=12791 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/12793/task/12795/stat : 12795 (java) S 12791 12791 12039 0 -1 1077944384 1445 0 0 0 2 0 0 0 20 0 15 0 97605806 14316269568 62214 18446744073709551615 4194304 4196468 140735004189808 140691456003088 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12796] ppid=12791 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/12793/task/12796/stat : 12796 (java) S 12791 12791 12039 0 -1 1077944384 276 0 0 0 2 0 0 0 20 0 15 0 97605806 14316269568 62214 18446744073709551615 4194304 4196468 140735004189808 140691454950544 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12797] ppid=12791 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/12793/task/12797/stat : 12797 (java) S 12791 12791 12039 0 -1 1077944384 1162 0 0 0 2 0 0 0 20 0 15 0 97605806 14316269568 62214 18446744073709551615 4194304 4196468 140735004189808 140691453897488 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12798] ppid=12791 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/12793/task/12798/stat : 12798 (java) S 12791 12791 12039 0 -1 1077944384 2623 0 0 0 2 1 0 0 20 0 15 0 97605806 14316269568 62214 18446744073709551615 4194304 4196468 140735004189808 140691452844944 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12799] ppid=12791 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/12793/task/12799/stat : 12799 (java) S 12791 12791 12039 0 -1 1077944384 1246 0 0 0 2 0 0 0 20 0 15 0 97605807 14316269568 62214 18446744073709551615 4194304 4196468 140735004189808 140690976643312 140691499047554 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12800] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12800/stat : 12800 (java) S 12791 12791 12039 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 97605808 14316269568 62214 18446744073709551615 4194304 4196468 140735004189808 140690975589536 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12801] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12801/stat : 12801 (java) S 12791 12791 12039 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 97605808 14316269568 62214 18446744073709551615 4194304 4196468 140735004189808 140690974536432 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12802] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12802/stat : 12802 (java) S 12791 12791 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97605810 14316269568 62214 18446744073709551615 4194304 4196468 140735004189808 140690973485008 140691499055003 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12803] ppid=12791 vsize=13980732 CPUtime=5.44 cores=0,2,4,6
/proc/12793/task/12803/stat : 12803 (java) S 12791 12791 12039 0 -1 1077944384 27873 0 0 0 542 2 0 0 20 0 15 0 97605810 14316269568 62214 18446744073709551615 4194304 4196468 140735004189808 140690972433136 140691499047554 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12804] ppid=12791 vsize=13980732 CPUtime=5.21 cores=0,2,4,6
/proc/12793/task/12804/stat : 12804 (java) S 12791 12791 12039 0 -1 1077944384 22719 0 0 0 518 3 0 0 20 0 15 0 97605810 14316269568 62214 18446744073709551615 4194304 4196468 140735004189808 140690971380592 140691499047554 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12805] ppid=12791 vsize=13980732 CPUtime=0.76 cores=0,2,4,6
/proc/12793/task/12805/stat : 12805 (java) S 12791 12791 12039 0 -1 1077944384 7284 0 0 0 74 2 0 0 20 0 15 0 97605810 14316269568 62214 18446744073709551615 4194304 4196468 140735004189808 140690970327536 140691499047554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12806] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12806/stat : 12806 (java) S 12791 12791 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97605811 14316269568 62214 18446744073709551615 4194304 4196468 140735004189808 140690969275232 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12807] ppid=12791 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/12793/task/12807/stat : 12807 (java) S 12791 12791 12039 0 -1 1077944384 502 0 0 0 3 3 0 0 20 0 15 0 97605816 14316269568 62214 18446744073709551615 4194304 4196468 140735004189808 140690968222256 140691499047554 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
Current children cumulated CPU time (s) 233.76
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.83 1.89 1.89 3/217 12990
/proc/meminfo: memFree=31222832/32770624 swapFree=0/315692
[pid=12791] ppid=12788 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12791/stat : 12791 (xcsp3-exec) S 12788 12791 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 97605798 9740288 345 18446744073709551615 4194304 5098028 140725342969680 140725342967784 140710920127100 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 35770368 140725342974370 140725342974573 140725342974573 140725342978027 0
/proc/12791/statm: 2378 345 289 221 0 87 0
[pid=12793] ppid=12791 vsize=13980732 CPUtime=251.45 cores=0,2,4,6
/proc/12793/stat : 12793 (java) S 12791 12791 12039 0 -1 1077944320 80964 0 0 0 25125 20 0 0 20 0 15 0 97605805 14316269568 62085 18446744073709551615 4194304 4196468 140735004189808 140735004172352 140691499036407 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
/proc/12793/statm: 3495183 62085 3245 1 0 3483476 0
[pid=12793/tid=12794] ppid=12791 vsize=13980732 CPUtime=239.76 cores=0,2,4,6
/proc/12793/task/12794/stat : 12794 (java) R 12791 12791 12039 0 -1 4202560 14442 0 0 0 23971 5 0 0 20 0 15 0 97605805 14316269568 62085 18446744073709551615 4194304 4196468 140735004189808 140691503275568 140691140927271 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12795] ppid=12791 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/12793/task/12795/stat : 12795 (java) S 12791 12791 12039 0 -1 1077944384 1447 0 0 0 2 1 0 0 20 0 15 0 97605806 14316269568 62085 18446744073709551615 4194304 4196468 140735004189808 140691456003088 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12796] ppid=12791 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/12793/task/12796/stat : 12796 (java) S 12791 12791 12039 0 -1 1077944384 277 0 0 0 2 0 0 0 20 0 15 0 97605806 14316269568 62085 18446744073709551615 4194304 4196468 140735004189808 140691454950544 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12797] ppid=12791 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/12793/task/12797/stat : 12797 (java) S 12791 12791 12039 0 -1 1077944384 1163 0 0 0 2 0 0 0 20 0 15 0 97605806 14316269568 62085 18446744073709551615 4194304 4196468 140735004189808 140691453897488 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12798] ppid=12791 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/12793/task/12798/stat : 12798 (java) S 12791 12791 12039 0 -1 1077944384 2624 0 0 0 2 1 0 0 20 0 15 0 97605806 14316269568 62085 18446744073709551615 4194304 4196468 140735004189808 140691452844944 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12799] ppid=12791 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/12793/task/12799/stat : 12799 (java) S 12791 12791 12039 0 -1 1077944384 1246 0 0 0 2 0 0 0 20 0 15 0 97605807 14316269568 62085 18446744073709551615 4194304 4196468 140735004189808 140690976643312 140691499047554 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12800] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12800/stat : 12800 (java) S 12791 12791 12039 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 97605808 14316269568 62085 18446744073709551615 4194304 4196468 140735004189808 140690975589536 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12801] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12801/stat : 12801 (java) S 12791 12791 12039 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 97605808 14316269568 62085 18446744073709551615 4194304 4196468 140735004189808 140690974536432 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12802] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12802/stat : 12802 (java) S 12791 12791 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97605810 14316269568 62085 18446744073709551615 4194304 4196468 140735004189808 140690973485008 140691499055003 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12803] ppid=12791 vsize=13980732 CPUtime=5.44 cores=0,2,4,6
/proc/12793/task/12803/stat : 12803 (java) S 12791 12791 12039 0 -1 1077944384 27873 0 0 0 542 2 0 0 20 0 15 0 97605810 14316269568 62085 18446744073709551615 4194304 4196468 140735004189808 140690972433136 140691499047554 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12804] ppid=12791 vsize=13980732 CPUtime=5.21 cores=0,2,4,6
/proc/12793/task/12804/stat : 12804 (java) S 12791 12791 12039 0 -1 1077944384 22719 0 0 0 518 3 0 0 20 0 15 0 97605810 14316269568 62085 18446744073709551615 4194304 4196468 140735004189808 140690971380592 140691499047554 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12805] ppid=12791 vsize=13980732 CPUtime=0.76 cores=0,2,4,6
/proc/12793/task/12805/stat : 12805 (java) S 12791 12791 12039 0 -1 1077944384 7284 0 0 0 74 2 0 0 20 0 15 0 97605810 14316269568 62085 18446744073709551615 4194304 4196468 140735004189808 140690970327536 140691499047554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12806] ppid=12791 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12793/task/12806/stat : 12806 (java) S 12791 12791 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97605811 14316269568 62085 18446744073709551615 4194304 4196468 140735004189808 140690969275232 140691499046613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
[pid=12793/tid=12807] ppid=12791 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/12793/task/12807/stat : 12807 (java) S 12791 12791 12039 0 -1 1077944384 502 0 0 0 3 4 0 0 20 0 15 0 97605816 14316269568 62085 18446744073709551615 4194304 4196468 140735004189808 140690968222256 140691499047554 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22065152 140735004197338 140735004197513 140735004197513 140735004200911 0
Current children cumulated CPU time (s) 251.45
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 12793 sig 9
??? kill 12791 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.01
CPU time (s): 251.482
CPU user time (s): 251.27
CPU system time (s): 0.21207
CPU usage (%): 104.78
Max. virtual memory (cumulated for all children) (KiB): 13993128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.27
system time used= 0.21207
maximum resident set size= 256004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81604
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8267
involuntary context switches= 507
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.24504 second user time and 1.21443 second system time
The end