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-4254042-1501614286/watcher-4254042-1501614286 -o /tmp/evaluation-result-4254042-1501614286/solver-4254042-1501614286 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501610360-3273 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1313637477 HOME/instance-4254042-1501614286.xml
pid=6090
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.88 1.95 1.87 3/199 6093
/proc/meminfo: memFree=31895152/32770624 swapFree=0/161136
[pid=6093] ppid=6090 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/6093/stat : 6093 (runsolver) D 6090 6093 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 3339150 24240128 106 18446744073709551615 4194304 4338465 140730031671232 140730031668872 140039768097495 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 12255232 140730031673438 140730031673927 140730031673927 140730031677386 0
/proc/6093/statm: 5918 106 53 36 0 2156 0
[startup+0.100197 s]
/proc/loadavg: 1.88 1.95 1.87 3/199 6093
/proc/meminfo: memFree=31895152/32770624 swapFree=0/161136
[pid=6093] ppid=6090 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6093/stat : 6093 (xcsp3-exec) S 6090 6093 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3339150 9740288 345 18446744073709551615 4194304 5098028 140725256648592 140725256646696 140625638118012 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 39608320 140725256655260 140725256655464 140725256655464 140725256658923 0
/proc/6093/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200237 s]
/proc/loadavg: 1.88 1.95 1.87 3/199 6093
/proc/meminfo: memFree=31895152/32770624 swapFree=0/161136
[pid=6093] ppid=6090 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6093/stat : 6093 (xcsp3-exec) S 6090 6093 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3339150 9740288 345 18446744073709551615 4194304 5098028 140725256648592 140725256646696 140625638118012 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 39608320 140725256655260 140725256655464 140725256655464 140725256658923 0
/proc/6093/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300613 s]
/proc/loadavg: 1.88 1.95 1.87 3/199 6093
/proc/meminfo: memFree=31895152/32770624 swapFree=0/161136
[pid=6093] ppid=6090 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6093/stat : 6093 (xcsp3-exec) S 6090 6093 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3339150 9740288 345 18446744073709551615 4194304 5098028 140725256648592 140725256646696 140625638118012 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 39608320 140725256655260 140725256655464 140725256655464 140725256658923 0
/proc/6093/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70445 s]
/proc/loadavg: 1.88 1.95 1.87 3/199 6093
/proc/meminfo: memFree=31895152/32770624 swapFree=0/161136
[pid=6093] ppid=6090 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6093/stat : 6093 (xcsp3-exec) S 6090 6093 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3339150 9740288 345 18446744073709551615 4194304 5098028 140725256648592 140725256646696 140625638118012 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 39608320 140725256655260 140725256655464 140725256655464 140725256658923 0
/proc/6093/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50058 s]
/proc/loadavg: 1.89 1.95 1.87 3/215 6109
/proc/meminfo: memFree=31672700/32770624 swapFree=0/161376
[pid=6093] ppid=6090 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6093/stat : 6093 (xcsp3-exec) S 6090 6093 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3339150 9740288 345 18446744073709551615 4194304 5098028 140725256648592 140725256646696 140625638118012 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 39608320 140725256655260 140725256655464 140725256655464 140725256658923 0
/proc/6093/statm: 2378 345 289 221 0 87 0
[pid=6095] ppid=6093 vsize=13980732 CPUtime=3.65 cores=0,2,4,6
/proc/6095/stat : 6095 (java) S 6093 6093 3187 0 -1 1077944320 15570 0 0 0 352 13 0 0 20 0 15 0 3339156 14316269568 77540 18446744073709551615 4194304 4196468 140726702649152 140726702631696 139796146429687 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
/proc/6095/statm: 3495183 77540 3206 1 0 3483484 0
[pid=6095/tid=6096] ppid=6093 vsize=13980732 CPUtime=1.32 cores=0,2,4,6
/proc/6095/task/6096/stat : 6096 (java) R 6093 6093 3187 0 -1 4202560 8586 0 0 0 127 5 0 0 20 0 15 0 3339156 14316269568 77540 18446744073709551615 4194304 4196468 140726702649152 139796150667024 139796146441622 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6097] ppid=6093 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6095/task/6097/stat : 6097 (java) S 6093 6093 3187 0 -1 1077944384 54 0 0 0 3 1 0 0 20 0 15 0 3339157 14316269568 77540 18446744073709551615 4194304 4196468 140726702649152 139796088375568 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6098] ppid=6093 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6095/task/6098/stat : 6098 (java) S 6093 6093 3187 0 -1 1077944384 86 0 0 0 2 2 0 0 20 0 15 0 3339157 14316269568 77540 18446744073709551615 4194304 4196468 140726702649152 139796087323024 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6099] ppid=6093 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/6095/task/6099/stat : 6099 (java) S 6093 6093 3187 0 -1 1077944384 70 0 0 0 2 1 0 0 20 0 15 0 3339157 14316269568 77540 18446744073709551615 4194304 4196468 140726702649152 139796086270480 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6100] ppid=6093 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/6095/task/6100/stat : 6100 (java) S 6093 6093 3187 0 -1 1077944384 97 0 0 0 1 1 0 0 20 0 15 0 3339157 14316269568 77540 18446744073709551615 4194304 4196468 140726702649152 139795743906448 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6101] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6101/stat : 6101 (java) S 6093 6093 3187 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 3339158 14316269568 77556 18446744073709551615 4194304 4196468 140726702649152 139795692190192 139796146440834 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6102] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6102/stat : 6102 (java) S 6093 6093 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3339159 14316269568 77556 18446744073709551615 4194304 4196468 140726702649152 139795691136416 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6103] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6103/stat : 6103 (java) S 6093 6093 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3339159 14316269568 77556 18446744073709551615 4194304 4196468 140726702649152 139795690083824 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6104] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6104/stat : 6104 (java) S 6093 6093 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3339162 14316269568 77556 18446744073709551615 4194304 4196468 140726702649152 139795689032400 139796146448283 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6105] ppid=6093 vsize=13980732 CPUtime=0.86 cores=0,2,4,6
/proc/6095/task/6105/stat : 6105 (java) S 6093 6093 3187 0 -1 1077944384 1707 0 0 0 86 0 0 0 20 0 15 0 3339162 14316269568 77556 18446744073709551615 4194304 4196468 140726702649152 139795687978992 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6106] ppid=6093 vsize=13980732 CPUtime=0.85 cores=0,2,4,6
/proc/6095/task/6106/stat : 6106 (java) S 6093 6093 3187 0 -1 1077944384 1667 0 0 0 85 0 0 0 20 0 15 0 3339162 14316269568 77556 18446744073709551615 4194304 4196468 140726702649152 139795686926448 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6107] ppid=6093 vsize=13980732 CPUtime=0.42 cores=0,2,4,6
/proc/6095/task/6107/stat : 6107 (java) R 6093 6093 3187 0 -1 4202560 1925 0 0 0 42 0 0 0 20 0 15 0 3339162 14316269568 77556 18446744073709551615 4194304 4196468 140726702649152 139795685868944 139796146437084 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6108] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6108/stat : 6108 (java) S 6093 6093 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3339162 14316269568 77556 18446744073709551615 4194304 4196468 140726702649152 139795684821600 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6109] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6109/stat : 6109 (java) S 6093 6093 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3339167 14316269568 77556 18446744073709551615 4194304 4196468 140726702649152 139795683769136 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 13990244
[startup+3.10093 s]
/proc/loadavg: 1.89 1.95 1.87 7/215 6109
/proc/meminfo: memFree=31405972/32770624 swapFree=0/161376
[pid=6093] ppid=6090 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6093/stat : 6093 (xcsp3-exec) S 6090 6093 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3339150 9740288 345 18446744073709551615 4194304 5098028 140725256648592 140725256646696 140625638118012 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 39608320 140725256655260 140725256655464 140725256655464 140725256658923 0
/proc/6093/statm: 2378 345 289 221 0 87 0
[pid=6095] ppid=6093 vsize=13980732 CPUtime=8.69 cores=0,2,4,6
/proc/6095/stat : 6095 (java) S 6093 6093 3187 0 -1 1077944320 30703 0 0 0 799 70 0 0 20 0 15 0 3339156 14316269568 254721 18446744073709551615 4194304 4196468 140726702649152 140726702631696 139796146429687 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
/proc/6095/statm: 3495183 254721 3232 1 0 3483484 0
[pid=6095/tid=6096] ppid=6093 vsize=13980732 CPUtime=2.33 cores=0,2,4,6
/proc/6095/task/6096/stat : 6096 (java) S 6093 6093 3187 0 -1 1077944384 9270 0 0 0 224 9 0 0 20 0 15 0 3339156 14316269568 254721 18446744073709551615 4194304 4196468 140726702649152 139796150668656 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6097] ppid=6093 vsize=13980732 CPUtime=0.61 cores=0,2,4,6
/proc/6095/task/6097/stat : 6097 (java) R 6093 6093 3187 0 -1 4202560 3083 0 0 0 47 14 0 0 20 0 15 0 3339157 14316269568 254721 18446744073709551615 4194304 4196468 140726702649152 139796088375568 139796130883443 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6098] ppid=6093 vsize=13980732 CPUtime=0.62 cores=0,2,4,6
/proc/6095/task/6098/stat : 6098 (java) R 6093 6093 3187 0 -1 4202560 2380 0 0 0 47 15 0 0 20 0 15 0 3339157 14316269568 254721 18446744073709551615 4194304 4196468 140726702649152 139796087323024 139796131380396 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6099] ppid=6093 vsize=13980732 CPUtime=0.62 cores=0,2,4,6
/proc/6095/task/6099/stat : 6099 (java) R 6093 6093 3187 0 -1 4202560 2549 0 0 0 47 15 0 0 20 0 15 0 3339157 14316269568 254721 18446744073709551615 4194304 4196468 140726702649152 139796086270680 139796128026235 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6100] ppid=6093 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/6095/task/6100/stat : 6100 (java) R 6093 6093 3187 0 -1 4202560 2937 0 0 0 46 14 0 0 20 0 15 0 3339157 14316269568 254721 18446744073709551615 4194304 4196468 140726702649152 139795743906648 139796128025504 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6101] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6101/stat : 6101 (java) S 6093 6093 3187 0 -1 1077944384 677 0 0 0 0 0 0 0 20 0 15 0 3339158 14316269568 254721 18446744073709551615 4194304 4196468 140726702649152 139795692188512 139796146439893 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6102] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6102/stat : 6102 (java) S 6093 6093 3187 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 3339159 14316269568 254721 18446744073709551615 4194304 4196468 140726702649152 139795691136480 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6103] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6103/stat : 6103 (java) S 6093 6093 3187 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 3339159 14316269568 254721 18446744073709551615 4194304 4196468 140726702649152 139795690083840 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6104] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6104/stat : 6104 (java) S 6093 6093 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3339162 14316269568 254721 18446744073709551615 4194304 4196468 140726702649152 139795689032400 139796146448283 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6105] ppid=6093 vsize=13980732 CPUtime=1.64 cores=0,2,4,6
/proc/6095/task/6105/stat : 6105 (java) S 6093 6093 3187 0 -1 1077944384 3124 0 0 0 164 0 0 0 20 0 15 0 3339162 14316269568 254721 18446744073709551615 4194304 4196468 140726702649152 139795687978992 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6106] ppid=6093 vsize=13980732 CPUtime=1.68 cores=0,2,4,6
/proc/6095/task/6106/stat : 6106 (java) S 6093 6093 3187 0 -1 1077944384 3272 0 0 0 168 0 0 0 20 0 15 0 3339162 14316269568 254721 18446744073709551615 4194304 4196468 140726702649152 139795686926448 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6107] ppid=6093 vsize=13980732 CPUtime=0.51 cores=0,2,4,6
/proc/6095/task/6107/stat : 6107 (java) S 6093 6093 3187 0 -1 1077944384 2112 0 0 0 51 0 0 0 20 0 15 0 3339162 14316269568 254721 18446744073709551615 4194304 4196468 140726702649152 139795685873904 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6108] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6108/stat : 6108 (java) S 6093 6093 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3339162 14316269568 254721 18446744073709551615 4194304 4196468 140726702649152 139795684821600 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6109] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6109/stat : 6109 (java) S 6093 6093 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3339167 14316269568 254721 18446744073709551615 4194304 4196468 140726702649152 139795683769136 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
Current children cumulated CPU time (s) 8.69
Current children cumulated vsize (KiB) 13990244
[startup+6.30078 s]
/proc/loadavg: 1.89 1.95 1.87 3/215 6109
/proc/meminfo: memFree=30884128/32770624 swapFree=0/161388
[pid=6093] ppid=6090 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6093/stat : 6093 (xcsp3-exec) S 6090 6093 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3339150 9740288 345 18446744073709551615 4194304 5098028 140725256648592 140725256646696 140625638118012 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 39608320 140725256655260 140725256655464 140725256655464 140725256658923 0
/proc/6093/statm: 2378 345 289 221 0 87 0
[pid=6095] ppid=6093 vsize=13980732 CPUtime=15.43 cores=0,2,4,6
/proc/6095/stat : 6095 (java) S 6093 6093 3187 0 -1 1077944320 34787 0 0 0 1472 71 0 0 20 0 15 0 3339156 14316269568 256097 18446744073709551615 4194304 4196468 140726702649152 140726702631696 139796146429687 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
/proc/6095/statm: 3495183 256097 3240 1 0 3483484 0
[pid=6095/tid=6096] ppid=6093 vsize=13980732 CPUtime=4.39 cores=0,2,4,6
/proc/6095/task/6096/stat : 6096 (java) R 6093 6093 3187 0 -1 4202560 9652 0 0 0 430 9 0 0 20 0 15 0 3339156 14316269568 256097 18446744073709551615 4194304 4196468 140726702649152 139796150666320 139795774032813 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6097] ppid=6093 vsize=13980732 CPUtime=1.66 cores=0,2,4,6
/proc/6095/task/6097/stat : 6097 (java) S 6093 6093 3187 0 -1 1077944384 3499 0 0 0 152 14 0 0 20 0 15 0 3339157 14316269568 256097 18446744073709551615 4194304 4196468 140726702649152 139796088375568 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6098] ppid=6093 vsize=13980732 CPUtime=1.67 cores=0,2,4,6
/proc/6095/task/6098/stat : 6098 (java) S 6093 6093 3187 0 -1 1077944384 2465 0 0 0 152 15 0 0 20 0 15 0 3339157 14316269568 256097 18446744073709551615 4194304 4196468 140726702649152 139796087323024 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6099] ppid=6093 vsize=13980732 CPUtime=1.66 cores=0,2,4,6
/proc/6095/task/6099/stat : 6099 (java) S 6093 6093 3187 0 -1 1077944384 2580 0 0 0 151 15 0 0 20 0 15 0 3339157 14316269568 256097 18446744073709551615 4194304 4196468 140726702649152 139796086270480 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6100] ppid=6093 vsize=13980732 CPUtime=1.63 cores=0,2,4,6
/proc/6095/task/6100/stat : 6100 (java) S 6093 6093 3187 0 -1 1077944384 3031 0 0 0 149 14 0 0 20 0 15 0 3339157 14316269568 256097 18446744073709551615 4194304 4196468 140726702649152 139795743906448 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6101] ppid=6093 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/6095/task/6101/stat : 6101 (java) S 6093 6093 3187 0 -1 1077944384 1314 0 0 0 10 0 0 0 20 0 15 0 3339158 14316269568 256097 18446744073709551615 4194304 4196468 140726702649152 139795692190192 139796146440834 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6102] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6102/stat : 6102 (java) S 6093 6093 3187 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 3339159 14316269568 256097 18446744073709551615 4194304 4196468 140726702649152 139795691136480 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6103] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6103/stat : 6103 (java) S 6093 6093 3187 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 3339159 14316269568 256097 18446744073709551615 4194304 4196468 140726702649152 139795690083840 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6104] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6104/stat : 6104 (java) S 6093 6093 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3339162 14316269568 256097 18446744073709551615 4194304 4196468 140726702649152 139795689032400 139796146448283 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6105] ppid=6093 vsize=13980732 CPUtime=1.83 cores=0,2,4,6
/proc/6095/task/6105/stat : 6105 (java) S 6093 6093 3187 0 -1 1077944384 3831 0 0 0 183 0 0 0 20 0 15 0 3339162 14316269568 256097 18446744073709551615 4194304 4196468 140726702649152 139795687978992 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6106] ppid=6093 vsize=13980732 CPUtime=1.82 cores=0,2,4,6
/proc/6095/task/6106/stat : 6106 (java) S 6093 6093 3187 0 -1 1077944384 3677 0 0 0 182 0 0 0 20 0 15 0 3339162 14316269568 256097 18446744073709551615 4194304 4196468 140726702649152 139795686926448 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6107] ppid=6093 vsize=13980732 CPUtime=0.59 cores=0,2,4,6
/proc/6095/task/6107/stat : 6107 (java) S 6093 6093 3187 0 -1 1077944384 3047 0 0 0 59 0 0 0 20 0 15 0 3339162 14316269568 256097 18446744073709551615 4194304 4196468 140726702649152 139795685873904 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6108] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6108/stat : 6108 (java) S 6093 6093 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3339162 14316269568 256097 18446744073709551615 4194304 4196468 140726702649152 139795684821600 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6109] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6109/stat : 6109 (java) S 6093 6093 3187 0 -1 1077944384 393 0 0 0 0 0 0 0 20 0 15 0 3339167 14316269568 256097 18446744073709551615 4194304 4196468 140726702649152 139795683769136 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
Current children cumulated CPU time (s) 15.43
Current children cumulated vsize (KiB) 13990244
[startup+12.7009 s]
/proc/loadavg: 1.90 1.95 1.88 3/215 6109
/proc/meminfo: memFree=30627144/32770624 swapFree=0/161392
[pid=6093] ppid=6090 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6093/stat : 6093 (xcsp3-exec) S 6090 6093 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3339150 9740288 345 18446744073709551615 4194304 5098028 140725256648592 140725256646696 140625638118012 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 39608320 140725256655260 140725256655464 140725256655464 140725256658923 0
/proc/6093/statm: 2378 345 289 221 0 87 0
[pid=6095] ppid=6093 vsize=13980732 CPUtime=24.74 cores=0,2,4,6
/proc/6095/stat : 6095 (java) S 6093 6093 3187 0 -1 1077944320 51826 0 0 0 2380 94 0 0 20 0 15 0 3339156 14316269568 320138 18446744073709551615 4194304 4196468 140726702649152 140726702631696 139796146429687 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
/proc/6095/statm: 3495183 320138 3246 1 0 3483484 0
[pid=6095/tid=6096] ppid=6093 vsize=13980732 CPUtime=10.56 cores=0,2,4,6
/proc/6095/task/6096/stat : 6096 (java) R 6093 6093 3187 0 -1 4202560 16787 0 0 0 1047 9 0 0 20 0 15 0 3339156 14316269568 320138 18446744073709551615 4194304 4196468 140726702649152 139796150665536 139795775466311 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6097] ppid=6093 vsize=13980732 CPUtime=1.88 cores=0,2,4,6
/proc/6095/task/6097/stat : 6097 (java) S 6093 6093 3187 0 -1 1077944384 4540 0 0 0 170 18 0 0 20 0 15 0 3339157 14316269568 320138 18446744073709551615 4194304 4196468 140726702649152 139796088375568 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6098] ppid=6093 vsize=13980732 CPUtime=1.88 cores=0,2,4,6
/proc/6095/task/6098/stat : 6098 (java) S 6093 6093 3187 0 -1 1077944384 3165 0 0 0 169 19 0 0 20 0 15 0 3339157 14316269568 320138 18446744073709551615 4194304 4196468 140726702649152 139796087323024 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
################
# More data... #
################
[pid=6095/tid=6102] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6102/stat : 6102 (java) S 6093 6093 3187 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 3339159 14316269568 527174 18446744073709551615 4194304 4196468 140726702649152 139795691136480 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6103] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6103/stat : 6103 (java) S 6093 6093 3187 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 3339159 14316269568 527174 18446744073709551615 4194304 4196468 140726702649152 139795690083840 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6104] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6104/stat : 6104 (java) S 6093 6093 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3339162 14316269568 527174 18446744073709551615 4194304 4196468 140726702649152 139795689032400 139796146448283 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6105] ppid=6093 vsize=13980732 CPUtime=3.09 cores=0,2,4,6
/proc/6095/task/6105/stat : 6105 (java) S 6093 6093 3187 0 -1 1077944384 8170 0 0 0 308 1 0 0 20 0 15 0 3339162 14316269568 527174 18446744073709551615 4194304 4196468 140726702649152 139795687978992 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6106] ppid=6093 vsize=13980732 CPUtime=2.93 cores=0,2,4,6
/proc/6095/task/6106/stat : 6106 (java) S 6093 6093 3187 0 -1 1077944384 9606 0 0 0 292 1 0 0 20 0 15 0 3339162 14316269568 527174 18446744073709551615 4194304 4196468 140726702649152 139795686926448 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6107] ppid=6093 vsize=13980732 CPUtime=0.69 cores=0,2,4,6
/proc/6095/task/6107/stat : 6107 (java) S 6093 6093 3187 0 -1 1077944384 4803 0 0 0 68 1 0 0 20 0 15 0 3339162 14316269568 527174 18446744073709551615 4194304 4196468 140726702649152 139795685873904 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6108] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6108/stat : 6108 (java) S 6093 6093 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3339162 14316269568 527174 18446744073709551615 4194304 4196468 140726702649152 139795684821600 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6109] ppid=6093 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/6095/task/6109/stat : 6109 (java) S 6093 6093 3187 0 -1 1077944384 520 0 0 0 3 3 0 0 20 0 15 0 3339167 14316269568 527174 18446744073709551615 4194304 4196468 140726702649152 139795683769136 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
Current children cumulated CPU time (s) 118.26
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.95 1.97 1.89 3/216 6193
/proc/meminfo: memFree=28871548/32770624 swapFree=0/161540
[pid=6093] ppid=6090 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6093/stat : 6093 (xcsp3-exec) S 6090 6093 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3339150 9740288 345 18446744073709551615 4194304 5098028 140725256648592 140725256646696 140625638118012 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 39608320 140725256655260 140725256655464 140725256655464 140725256658923 0
/proc/6093/statm: 2378 345 289 221 0 87 0
[pid=6095] ppid=6093 vsize=13980732 CPUtime=178.35 cores=0,2,4,6
/proc/6095/stat : 6095 (java) S 6093 6093 3187 0 -1 1077944320 85251 0 0 0 17708 127 0 0 20 0 15 0 3339156 14316269568 527174 18446744073709551615 4194304 4196468 140726702649152 140726702631696 139796146429687 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
/proc/6095/statm: 3495183 527174 3246 1 0 3483484 0
[pid=6095/tid=6096] ppid=6093 vsize=13980732 CPUtime=158.02 cores=0,2,4,6
/proc/6095/task/6096/stat : 6096 (java) R 6093 6093 3187 0 -1 4202560 32889 0 0 0 15790 12 0 0 20 0 15 0 3339156 14316269568 527174 18446744073709551615 4194304 4196468 140726702649152 139796150668760 139795768665533 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6097] ppid=6093 vsize=13980732 CPUtime=3.07 cores=0,2,4,6
/proc/6095/task/6097/stat : 6097 (java) S 6093 6093 3187 0 -1 1077944384 6095 0 0 0 280 27 0 0 20 0 15 0 3339157 14316269568 527174 18446744073709551615 4194304 4196468 140726702649152 139796088375568 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6098] ppid=6093 vsize=13980732 CPUtime=3.07 cores=0,2,4,6
/proc/6095/task/6098/stat : 6098 (java) S 6093 6093 3187 0 -1 1077944384 5695 0 0 0 281 26 0 0 20 0 15 0 3339157 14316269568 527174 18446744073709551615 4194304 4196468 140726702649152 139796087323024 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6099] ppid=6093 vsize=13980732 CPUtime=3.06 cores=0,2,4,6
/proc/6095/task/6099/stat : 6099 (java) S 6093 6093 3187 0 -1 1077944384 4494 0 0 0 282 24 0 0 20 0 15 0 3339157 14316269568 527174 18446744073709551615 4194304 4196468 140726702649152 139796086270480 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6100] ppid=6093 vsize=13980732 CPUtime=3.05 cores=0,2,4,6
/proc/6095/task/6100/stat : 6100 (java) S 6093 6093 3187 0 -1 1077944384 6081 0 0 0 283 22 0 0 20 0 15 0 3339157 14316269568 527174 18446744073709551615 4194304 4196468 140726702649152 139795743906448 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6101] ppid=6093 vsize=13980732 CPUtime=1.13 cores=0,2,4,6
/proc/6095/task/6101/stat : 6101 (java) S 6093 6093 3187 0 -1 1077944384 5400 0 0 0 107 6 0 0 20 0 15 0 3339158 14316269568 527174 18446744073709551615 4194304 4196468 140726702649152 139795692190192 139796146440834 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6102] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6102/stat : 6102 (java) S 6093 6093 3187 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 3339159 14316269568 527174 18446744073709551615 4194304 4196468 140726702649152 139795691136480 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6103] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6103/stat : 6103 (java) S 6093 6093 3187 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 3339159 14316269568 527174 18446744073709551615 4194304 4196468 140726702649152 139795690083840 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6104] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6104/stat : 6104 (java) S 6093 6093 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3339162 14316269568 527174 18446744073709551615 4194304 4196468 140726702649152 139795689032400 139796146448283 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6105] ppid=6093 vsize=13980732 CPUtime=3.09 cores=0,2,4,6
/proc/6095/task/6105/stat : 6105 (java) S 6093 6093 3187 0 -1 1077944384 8170 0 0 0 308 1 0 0 20 0 15 0 3339162 14316269568 527174 18446744073709551615 4194304 4196468 140726702649152 139795687978992 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6106] ppid=6093 vsize=13980732 CPUtime=2.98 cores=0,2,4,6
/proc/6095/task/6106/stat : 6106 (java) S 6093 6093 3187 0 -1 1077944384 9727 0 0 0 297 1 0 0 20 0 15 0 3339162 14316269568 527174 18446744073709551615 4194304 4196468 140726702649152 139795686926448 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6107] ppid=6093 vsize=13980732 CPUtime=0.7 cores=0,2,4,6
/proc/6095/task/6107/stat : 6107 (java) S 6093 6093 3187 0 -1 1077944384 4843 0 0 0 69 1 0 0 20 0 15 0 3339162 14316269568 527174 18446744073709551615 4194304 4196468 140726702649152 139795685873904 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6108] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6108/stat : 6108 (java) S 6093 6093 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3339162 14316269568 527174 18446744073709551615 4194304 4196468 140726702649152 139795684821600 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6109] ppid=6093 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/6095/task/6109/stat : 6109 (java) S 6093 6093 3187 0 -1 1077944384 521 0 0 0 5 5 0 0 20 0 15 0 3339167 14316269568 527174 18446744073709551615 4194304 4196468 140726702649152 139795683769136 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
Current children cumulated CPU time (s) 178.35
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.06 1.99 1.90 3/216 6195
/proc/meminfo: memFree=28870900/32770624 swapFree=0/161564
[pid=6093] ppid=6090 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6093/stat : 6093 (xcsp3-exec) S 6090 6093 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3339150 9740288 345 18446744073709551615 4194304 5098028 140725256648592 140725256646696 140625638118012 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 39608320 140725256655260 140725256655464 140725256655464 140725256658923 0
/proc/6093/statm: 2378 345 289 221 0 87 0
[pid=6095] ppid=6093 vsize=13980732 CPUtime=238.41 cores=0,2,4,6
/proc/6095/stat : 6095 (java) S 6093 6093 3187 0 -1 1077944320 87776 0 0 0 23712 129 0 0 20 0 15 0 3339156 14316269568 527176 18446744073709551615 4194304 4196468 140726702649152 140726702631696 139796146429687 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
/proc/6095/statm: 3495183 527176 3246 1 0 3483484 0
[pid=6095/tid=6096] ppid=6093 vsize=13980732 CPUtime=218.02 cores=0,2,4,6
/proc/6095/task/6096/stat : 6096 (java) R 6093 6093 3187 0 -1 4202560 34807 0 0 0 21790 12 0 0 20 0 15 0 3339156 14316269568 527176 18446744073709551615 4194304 4196468 140726702649152 139796150668952 139795775539865 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6097] ppid=6093 vsize=13980732 CPUtime=3.07 cores=0,2,4,6
/proc/6095/task/6097/stat : 6097 (java) S 6093 6093 3187 0 -1 1077944384 6095 0 0 0 280 27 0 0 20 0 15 0 3339157 14316269568 527176 18446744073709551615 4194304 4196468 140726702649152 139796088375568 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6098] ppid=6093 vsize=13980732 CPUtime=3.07 cores=0,2,4,6
/proc/6095/task/6098/stat : 6098 (java) S 6093 6093 3187 0 -1 1077944384 5695 0 0 0 281 26 0 0 20 0 15 0 3339157 14316269568 527176 18446744073709551615 4194304 4196468 140726702649152 139796087323024 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6099] ppid=6093 vsize=13980732 CPUtime=3.06 cores=0,2,4,6
/proc/6095/task/6099/stat : 6099 (java) S 6093 6093 3187 0 -1 1077944384 4494 0 0 0 282 24 0 0 20 0 15 0 3339157 14316269568 527176 18446744073709551615 4194304 4196468 140726702649152 139796086270480 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6100] ppid=6093 vsize=13980732 CPUtime=3.05 cores=0,2,4,6
/proc/6095/task/6100/stat : 6100 (java) S 6093 6093 3187 0 -1 1077944384 6081 0 0 0 283 22 0 0 20 0 15 0 3339157 14316269568 527176 18446744073709551615 4194304 4196468 140726702649152 139795743906448 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6101] ppid=6093 vsize=13980732 CPUtime=1.13 cores=0,2,4,6
/proc/6095/task/6101/stat : 6101 (java) S 6093 6093 3187 0 -1 1077944384 5447 0 0 0 107 6 0 0 20 0 15 0 3339158 14316269568 527176 18446744073709551615 4194304 4196468 140726702649152 139795692190192 139796146440834 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6102] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6102/stat : 6102 (java) S 6093 6093 3187 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 3339159 14316269568 527176 18446744073709551615 4194304 4196468 140726702649152 139795691136480 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6103] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6103/stat : 6103 (java) S 6093 6093 3187 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 3339159 14316269568 527176 18446744073709551615 4194304 4196468 140726702649152 139795690083840 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6104] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6104/stat : 6104 (java) S 6093 6093 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3339162 14316269568 527176 18446744073709551615 4194304 4196468 140726702649152 139795689032400 139796146448283 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6105] ppid=6093 vsize=13980732 CPUtime=3.09 cores=0,2,4,6
/proc/6095/task/6105/stat : 6105 (java) S 6093 6093 3187 0 -1 1077944384 8173 0 0 0 308 1 0 0 20 0 15 0 3339162 14316269568 527176 18446744073709551615 4194304 4196468 140726702649152 139795687978992 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6106] ppid=6093 vsize=13980732 CPUtime=2.98 cores=0,2,4,6
/proc/6095/task/6106/stat : 6106 (java) S 6093 6093 3187 0 -1 1077944384 9734 0 0 0 297 1 0 0 20 0 15 0 3339162 14316269568 527176 18446744073709551615 4194304 4196468 140726702649152 139795686926448 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6107] ppid=6093 vsize=13980732 CPUtime=0.7 cores=0,2,4,6
/proc/6095/task/6107/stat : 6107 (java) S 6093 6093 3187 0 -1 1077944384 5353 0 0 0 69 1 0 0 20 0 15 0 3339162 14316269568 527176 18446744073709551615 4194304 4196468 140726702649152 139795685873904 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6108] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6108/stat : 6108 (java) S 6093 6093 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3339162 14316269568 527176 18446744073709551615 4194304 4196468 140726702649152 139795684821600 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6109] ppid=6093 vsize=13980732 CPUtime=0.14 cores=0,2,4,6
/proc/6095/task/6109/stat : 6109 (java) S 6093 6093 3187 0 -1 1077944384 561 0 0 0 7 7 0 0 20 0 15 0 3339167 14316269568 527176 18446744073709551615 4194304 4196468 140726702649152 139795683769136 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
Current children cumulated CPU time (s) 238.41
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.18 2.02 1.91 3/216 6195
/proc/meminfo: memFree=27244536/32770624 swapFree=0/161572
[pid=6093] ppid=6090 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6093/stat : 6093 (xcsp3-exec) S 6090 6093 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3339150 9740288 345 18446744073709551615 4194304 5098028 140725256648592 140725256646696 140625638118012 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 39608320 140725256655260 140725256655464 140725256655464 140725256658923 0
/proc/6093/statm: 2378 345 289 221 0 87 0
[pid=6095] ppid=6093 vsize=13980732 CPUtime=262.98 cores=0,2,4,6
/proc/6095/stat : 6095 (java) S 6093 6093 3187 0 -1 1077944320 105346 0 0 0 26141 157 0 0 20 0 15 0 3339156 14316269568 817898 18446744073709551615 4194304 4196468 140726702649152 140726702631696 139796146429687 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
/proc/6095/statm: 3495183 817898 3246 1 0 3483484 0
[pid=6095/tid=6096] ppid=6093 vsize=13980732 CPUtime=232.98 cores=0,2,4,6
/proc/6095/task/6096/stat : 6096 (java) R 6093 6093 3187 0 -1 4202560 42846 0 0 0 23283 15 0 0 20 0 15 0 3339156 14316269568 817898 18446744073709551615 4194304 4196468 140726702649152 139796150666240 139795774203991 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6097] ppid=6093 vsize=13980732 CPUtime=5.36 cores=0,2,4,6
/proc/6095/task/6097/stat : 6097 (java) S 6093 6093 3187 0 -1 1077944384 7611 0 0 0 500 36 0 0 20 0 15 0 3339157 14316269568 817898 18446744073709551615 4194304 4196468 140726702649152 139796088375568 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6098] ppid=6093 vsize=13980732 CPUtime=5.36 cores=0,2,4,6
/proc/6095/task/6098/stat : 6098 (java) S 6093 6093 3187 0 -1 1077944384 6383 0 0 0 503 33 0 0 20 0 15 0 3339157 14316269568 817898 18446744073709551615 4194304 4196468 140726702649152 139796087323024 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6099] ppid=6093 vsize=13980732 CPUtime=5.41 cores=0,2,4,6
/proc/6095/task/6099/stat : 6099 (java) S 6093 6093 3187 0 -1 1077944384 5907 0 0 0 511 30 0 0 20 0 15 0 3339157 14316269568 817898 18446744073709551615 4194304 4196468 140726702649152 139796086270480 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6100] ppid=6093 vsize=13980732 CPUtime=5.35 cores=0,2,4,6
/proc/6095/task/6100/stat : 6100 (java) S 6093 6093 3187 0 -1 1077944384 7303 0 0 0 510 25 0 0 20 0 15 0 3339157 14316269568 817898 18446744073709551615 4194304 4196468 140726702649152 139795743906448 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6101] ppid=6093 vsize=13980732 CPUtime=1.51 cores=0,2,4,6
/proc/6095/task/6101/stat : 6101 (java) S 6093 6093 3187 0 -1 1077944384 10114 0 0 0 145 6 0 0 20 0 15 0 3339158 14316269568 817898 18446744073709551615 4194304 4196468 140726702649152 139795692190192 139796146440834 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6102] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6102/stat : 6102 (java) S 6093 6093 3187 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 3339159 14316269568 817898 18446744073709551615 4194304 4196468 140726702649152 139795691136480 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6103] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6103/stat : 6103 (java) S 6093 6093 3187 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 3339159 14316269568 817898 18446744073709551615 4194304 4196468 140726702649152 139795690083840 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6104] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6104/stat : 6104 (java) S 6093 6093 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3339162 14316269568 817898 18446744073709551615 4194304 4196468 140726702649152 139795689032400 139796146448283 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6105] ppid=6093 vsize=13980732 CPUtime=3.09 cores=0,2,4,6
/proc/6095/task/6105/stat : 6105 (java) S 6093 6093 3187 0 -1 1077944384 8173 0 0 0 308 1 0 0 20 0 15 0 3339162 14316269568 817898 18446744073709551615 4194304 4196468 140726702649152 139795687978992 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6106] ppid=6093 vsize=13980732 CPUtime=2.98 cores=0,2,4,6
/proc/6095/task/6106/stat : 6106 (java) S 6093 6093 3187 0 -1 1077944384 9734 0 0 0 297 1 0 0 20 0 15 0 3339162 14316269568 817898 18446744073709551615 4194304 4196468 140726702649152 139795686926448 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6107] ppid=6093 vsize=13980732 CPUtime=0.71 cores=0,2,4,6
/proc/6095/task/6107/stat : 6107 (java) S 6093 6093 3187 0 -1 1077944384 5378 0 0 0 70 1 0 0 20 0 15 0 3339162 14316269568 817898 18446744073709551615 4194304 4196468 140726702649152 139795685873904 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6108] ppid=6093 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6095/task/6108/stat : 6108 (java) S 6093 6093 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3339162 14316269568 817898 18446744073709551615 4194304 4196468 140726702649152 139795684821600 139796146439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
[pid=6095/tid=6109] ppid=6093 vsize=13980732 CPUtime=0.15 cores=0,2,4,6
/proc/6095/task/6109/stat : 6109 (java) S 6093 6093 3187 0 -1 1077944384 561 0 0 0 8 7 0 0 20 0 15 0 3339167 14316269568 817898 18446744073709551615 4194304 4196468 140726702649152 139795683769136 139796146440834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20942848 140726702658005 140726702658180 140726702658180 140726702661583 0
Current children cumulated CPU time (s) 262.98
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 6095 sig 9
??? kill 6093 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6093 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=632
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1265
# CPU time returned by wait4() is 0.001897
# while last known CPU time is 262.98
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 262.98
CPU user time (s): 261.41
CPU system time (s): 1.57
CPU usage (%): 109.57
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000632
system time used= 0.001265
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.855774 second user time and 1.89449 second system time
The end