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-4254041-1501614249/watcher-4254041-1501614249 -o /tmp/evaluation-result-4254041-1501614249/solver-4254041-1501614249 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501611170-5183 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1888293731 HOME/instance-4254041-1501614249.xml
pid=7360
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.00 1.79 3/195 7363
/proc/meminfo: memFree=31802968/32770624 swapFree=0/181216
[pid=7363] ppid=7360 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7363/stat : 7363 (runsolver) D 7360 7363 5123 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10041866 24240128 106 18446744073709551615 4194304 4338465 140730743723520 140730743721160 140249863705303 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 13938688 140730743726173 140730743726662 140730743726662 140730743730122 0
/proc/7363/statm: 5918 106 53 36 0 2156 0
[startup+0.100192 s]
/proc/loadavg: 2.04 2.00 1.79 3/195 7363
/proc/meminfo: memFree=31802968/32770624 swapFree=0/181216
[pid=7363] ppid=7360 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7363/stat : 7363 (xcsp3-exec) S 7360 7363 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10041866 9740288 345 18446744073709551615 4194304 5098028 140724073047712 140724073045816 140006062228092 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 18071552 140724073050523 140724073050727 140724073050727 140724073054187 0
/proc/7363/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.202148 s]
/proc/loadavg: 2.04 2.00 1.79 3/195 7363
/proc/meminfo: memFree=31802968/32770624 swapFree=0/181216
[pid=7363] ppid=7360 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7363/stat : 7363 (xcsp3-exec) S 7360 7363 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10041866 9740288 345 18446744073709551615 4194304 5098028 140724073047712 140724073045816 140006062228092 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 18071552 140724073050523 140724073050727 140724073050727 140724073054187 0
/proc/7363/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.308504 s]
/proc/loadavg: 2.04 2.00 1.79 3/195 7363
/proc/meminfo: memFree=31802968/32770624 swapFree=0/181216
[pid=7363] ppid=7360 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7363/stat : 7363 (xcsp3-exec) S 7360 7363 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10041866 9740288 345 18446744073709551615 4194304 5098028 140724073047712 140724073045816 140006062228092 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 18071552 140724073050523 140724073050727 140724073050727 140724073054187 0
/proc/7363/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700514 s]
/proc/loadavg: 2.04 2.00 1.79 3/195 7363
/proc/meminfo: memFree=31802968/32770624 swapFree=0/181216
[pid=7363] ppid=7360 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7363/stat : 7363 (xcsp3-exec) S 7360 7363 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10041866 9740288 345 18446744073709551615 4194304 5098028 140724073047712 140724073045816 140006062228092 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 18071552 140724073050523 140724073050727 140724073050727 140724073054187 0
/proc/7363/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50054 s]
/proc/loadavg: 2.04 2.00 1.79 5/211 7379
/proc/meminfo: memFree=31590860/32770624 swapFree=0/181260
[pid=7363] ppid=7360 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7363/stat : 7363 (xcsp3-exec) S 7360 7363 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10041866 9740288 345 18446744073709551615 4194304 5098028 140724073047712 140724073045816 140006062228092 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 18071552 140724073050523 140724073050727 140724073050727 140724073054187 0
/proc/7363/statm: 2378 345 289 221 0 87 0
[pid=7365] ppid=7363 vsize=13980732 CPUtime=3.96 cores=0,2,4,6
/proc/7365/stat : 7365 (java) S 7363 7363 5123 0 -1 1077944320 15208 0 0 0 386 10 0 0 20 0 15 0 10041871 14316269568 57204 18446744073709551615 4194304 4196468 140732614617376 140732614599920 140629262204663 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
/proc/7365/statm: 3495183 57204 3205 1 0 3483484 0
[pid=7365/tid=7366] ppid=7363 vsize=13980732 CPUtime=1.34 cores=0,2,4,6
/proc/7365/task/7366/stat : 7366 (java) R 7363 7363 5123 0 -1 4202560 8062 0 0 0 129 5 0 0 20 0 15 0 10041872 14316269568 57204 18446744073709551615 4194304 4196468 140732614617376 140629266441424 140628861995732 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7367] ppid=7363 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/7365/task/7367/stat : 7367 (java) S 7363 7363 5123 0 -1 1077944384 50 0 0 0 3 0 0 0 20 0 15 0 10041872 14316269568 57204 18446744073709551615 4194304 4196468 140732614617376 140629181618704 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7368] ppid=7363 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/7365/task/7368/stat : 7368 (java) S 7363 7363 5123 0 -1 1077944384 77 0 0 0 3 0 0 0 20 0 15 0 10041872 14316269568 57204 18446744073709551615 4194304 4196468 140732614617376 140629180566160 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7369] ppid=7363 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/7365/task/7369/stat : 7369 (java) S 7363 7363 5123 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 15 0 10041872 14316269568 57204 18446744073709551615 4194304 4196468 140732614617376 140629179513104 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7370] ppid=7363 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/7365/task/7370/stat : 7370 (java) S 7363 7363 5123 0 -1 1077944384 127 0 0 0 2 0 0 0 20 0 15 0 10041872 14316269568 57204 18446744073709551615 4194304 4196468 140732614617376 140629178460560 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7371] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7371/stat : 7371 (java) S 7363 7363 5123 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 10041874 14316269568 57204 18446744073709551615 4194304 4196468 140732614617376 140628740770544 140629262215810 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7372] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7372/stat : 7372 (java) S 7363 7363 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10041874 14316269568 57204 18446744073709551615 4194304 4196468 140732614617376 140628739716768 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7373] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7373/stat : 7373 (java) S 7363 7363 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10041874 14316269568 57204 18446744073709551615 4194304 4196468 140732614617376 140628738663664 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7374] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7374/stat : 7374 (java) S 7363 7363 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10041877 14316269568 57204 18446744073709551615 4194304 4196468 140732614617376 140628737612240 140629262223259 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7375] ppid=7363 vsize=13980732 CPUtime=0.99 cores=0,2,4,6
/proc/7365/task/7375/stat : 7375 (java) R 7363 7363 5123 0 -1 4202560 1692 0 0 0 99 0 0 0 20 0 15 0 10041877 14316269568 57204 18446744073709551615 4194304 4196468 140732614617376 140628736547936 140629243749305 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7376] ppid=7363 vsize=13980732 CPUtime=0.96 cores=0,2,4,6
/proc/7365/task/7376/stat : 7376 (java) R 7363 7363 5123 0 -1 4202560 1845 0 0 0 96 0 0 0 20 0 15 0 10041877 14316269568 57204 18446744073709551615 4194304 4196468 140732614617376 140628735491312 140629247029588 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7377] ppid=7363 vsize=13980732 CPUtime=0.49 cores=0,2,4,6
/proc/7365/task/7377/stat : 7377 (java) S 7363 7363 5123 0 -1 1077944384 1942 0 0 0 48 1 0 0 20 0 15 0 10041877 14316269568 57204 18446744073709551615 4194304 4196468 140732614617376 140628734453744 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7378] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7378/stat : 7378 (java) S 7363 7363 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10041877 14316269568 57204 18446744073709551615 4194304 4196468 140732614617376 140628733401440 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7379] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7379/stat : 7379 (java) S 7363 7363 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10041881 14316269568 57204 18446744073709551615 4194304 4196468 140732614617376 140628732349488 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 13990244
[startup+3.10066 s]
/proc/loadavg: 2.27 2.05 1.81 6/211 7379
/proc/meminfo: memFree=31334032/32770624 swapFree=0/181260
[pid=7363] ppid=7360 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7363/stat : 7363 (xcsp3-exec) S 7360 7363 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10041866 9740288 345 18446744073709551615 4194304 5098028 140724073047712 140724073045816 140006062228092 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 18071552 140724073050523 140724073050727 140724073050727 140724073054187 0
/proc/7363/statm: 2378 345 289 221 0 87 0
[pid=7365] ppid=7363 vsize=13980732 CPUtime=8.17 cores=0,2,4,6
/proc/7365/stat : 7365 (java) S 7363 7363 5123 0 -1 1077944320 18850 0 0 0 779 38 0 0 20 0 15 0 10041871 14316269568 163688 18446744073709551615 4194304 4196468 140732614617376 140732614599920 140629262204663 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
/proc/7365/statm: 3495183 163688 3223 1 0 3483484 0
[pid=7365/tid=7366] ppid=7363 vsize=13980732 CPUtime=2.66 cores=0,2,4,6
/proc/7365/task/7366/stat : 7366 (java) R 7363 7363 5123 0 -1 4202560 8866 0 0 0 259 7 0 0 20 0 15 0 10041872 14316269568 163688 18446744073709551615 4194304 4196468 140732614617376 140629266442072 140628863377303 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7367] ppid=7363 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/7365/task/7367/stat : 7367 (java) S 7363 7363 5123 0 -1 1077944384 184 0 0 0 23 7 0 0 20 0 15 0 10041872 14316269568 163688 18446744073709551615 4194304 4196468 140732614617376 140629181618704 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7368] ppid=7363 vsize=13980732 CPUtime=0.23 cores=0,2,4,6
/proc/7365/task/7368/stat : 7368 (java) S 7363 7363 5123 0 -1 1077944384 170 0 0 0 18 5 0 0 20 0 15 0 10041872 14316269568 163688 18446744073709551615 4194304 4196468 140732614617376 140629180566160 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7369] ppid=7363 vsize=13980732 CPUtime=0.28 cores=0,2,4,6
/proc/7365/task/7369/stat : 7369 (java) S 7363 7363 5123 0 -1 1077944384 222 0 0 0 21 7 0 0 20 0 15 0 10041872 14316269568 163688 18446744073709551615 4194304 4196468 140732614617376 140629179513104 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7370] ppid=7363 vsize=13980732 CPUtime=0.24 cores=0,2,4,6
/proc/7365/task/7370/stat : 7370 (java) S 7363 7363 5123 0 -1 1077944384 256 0 0 0 18 6 0 0 20 0 15 0 10041872 14316269568 163688 18446744073709551615 4194304 4196468 140732614617376 140629178460560 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7371] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7371/stat : 7371 (java) S 7363 7363 5123 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 10041874 14316269568 163688 18446744073709551615 4194304 4196468 140732614617376 140628740770544 140629262215810 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7372] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7372/stat : 7372 (java) S 7363 7363 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10041874 14316269568 163688 18446744073709551615 4194304 4196468 140732614617376 140628739716832 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7373] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7373/stat : 7373 (java) S 7363 7363 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10041874 14316269568 163688 18446744073709551615 4194304 4196468 140732614617376 140628738663680 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7374] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7374/stat : 7374 (java) S 7363 7363 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10041877 14316269568 163688 18446744073709551615 4194304 4196468 140732614617376 140628737612240 140629262223259 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7375] ppid=7363 vsize=13980732 CPUtime=1.91 cores=0,2,4,6
/proc/7365/task/7375/stat : 7375 (java) S 7363 7363 5123 0 -1 1077944384 2533 0 0 0 191 0 0 0 20 0 15 0 10041877 14316269568 163688 18446744073709551615 4194304 4196468 140732614617376 140628736559344 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7376] ppid=7363 vsize=13980732 CPUtime=1.89 cores=0,2,4,6
/proc/7365/task/7376/stat : 7376 (java) S 7363 7363 5123 0 -1 1077944384 3027 0 0 0 188 1 0 0 20 0 15 0 10041877 14316269568 163688 18446744073709551615 4194304 4196468 140732614617376 140628735506800 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7377] ppid=7363 vsize=13980732 CPUtime=0.57 cores=0,2,4,6
/proc/7365/task/7377/stat : 7377 (java) S 7363 7363 5123 0 -1 1077944384 2087 0 0 0 56 1 0 0 20 0 15 0 10041877 14316269568 163688 18446744073709551615 4194304 4196468 140732614617376 140628734453744 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7378] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7378/stat : 7378 (java) S 7363 7363 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10041877 14316269568 163688 18446744073709551615 4194304 4196468 140732614617376 140628733401440 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7379] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7379/stat : 7379 (java) S 7363 7363 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10041881 14316269568 163688 18446744073709551615 4194304 4196468 140732614617376 140628732349488 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
Current children cumulated CPU time (s) 8.17
Current children cumulated vsize (KiB) 13990244
[startup+6.30066 s]
/proc/loadavg: 2.27 2.05 1.81 5/211 7379
/proc/meminfo: memFree=31152048/32770624 swapFree=0/181264
[pid=7363] ppid=7360 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7363/stat : 7363 (xcsp3-exec) S 7360 7363 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10041866 9740288 345 18446744073709551615 4194304 5098028 140724073047712 140724073045816 140006062228092 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 18071552 140724073050523 140724073050727 140724073050727 140724073054187 0
/proc/7363/statm: 2378 345 289 221 0 87 0
[pid=7365] ppid=7363 vsize=13980732 CPUtime=12.69 cores=0,2,4,6
/proc/7365/stat : 7365 (java) S 7363 7363 5123 0 -1 1077944320 28058 0 0 0 1228 41 0 0 20 0 15 0 10041871 14316269568 189656 18446744073709551615 4194304 4196468 140732614617376 140732614599920 140629262204663 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
/proc/7365/statm: 3495183 189656 3226 1 0 3483484 0
[pid=7365/tid=7366] ppid=7363 vsize=13980732 CPUtime=5.86 cores=0,2,4,6
/proc/7365/task/7366/stat : 7366 (java) R 7363 7363 5123 0 -1 4202560 10084 0 0 0 577 9 0 0 20 0 15 0 10041872 14316269568 189656 18446744073709551615 4194304 4196468 140732614617376 140629266442736 140628864328360 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7367] ppid=7363 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/7365/task/7367/stat : 7367 (java) S 7363 7363 5123 0 -1 1077944384 184 0 0 0 23 7 0 0 20 0 15 0 10041872 14316269568 189656 18446744073709551615 4194304 4196468 140732614617376 140629181618704 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7368] ppid=7363 vsize=13980732 CPUtime=0.23 cores=0,2,4,6
/proc/7365/task/7368/stat : 7368 (java) S 7363 7363 5123 0 -1 1077944384 170 0 0 0 18 5 0 0 20 0 15 0 10041872 14316269568 189656 18446744073709551615 4194304 4196468 140732614617376 140629180566160 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7369] ppid=7363 vsize=13980732 CPUtime=0.28 cores=0,2,4,6
/proc/7365/task/7369/stat : 7369 (java) S 7363 7363 5123 0 -1 1077944384 222 0 0 0 21 7 0 0 20 0 15 0 10041872 14316269568 189656 18446744073709551615 4194304 4196468 140732614617376 140629179513104 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7370] ppid=7363 vsize=13980732 CPUtime=0.24 cores=0,2,4,6
/proc/7365/task/7370/stat : 7370 (java) S 7363 7363 5123 0 -1 1077944384 256 0 0 0 18 6 0 0 20 0 15 0 10041872 14316269568 189656 18446744073709551615 4194304 4196468 140732614617376 140629178460560 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7371] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7371/stat : 7371 (java) S 7363 7363 5123 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 15 0 10041874 14316269568 189656 18446744073709551615 4194304 4196468 140732614617376 140628740770544 140629262215810 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7372] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7372/stat : 7372 (java) S 7363 7363 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10041874 14316269568 189656 18446744073709551615 4194304 4196468 140732614617376 140628739716832 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7373] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7373/stat : 7373 (java) S 7363 7363 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10041874 14316269568 189656 18446744073709551615 4194304 4196468 140732614617376 140628738663680 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7374] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7374/stat : 7374 (java) S 7363 7363 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10041877 14316269568 189656 18446744073709551615 4194304 4196468 140732614617376 140628737612240 140629262223259 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7375] ppid=7363 vsize=13980732 CPUtime=2.52 cores=0,2,4,6
/proc/7365/task/7375/stat : 7375 (java) S 7363 7363 5123 0 -1 1077944384 5457 0 0 0 251 1 0 0 20 0 15 0 10041877 14316269568 189656 18446744073709551615 4194304 4196468 140732614617376 140628736559344 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7376] ppid=7363 vsize=13980732 CPUtime=2.54 cores=0,2,4,6
/proc/7365/task/7376/stat : 7376 (java) S 7363 7363 5123 0 -1 1077944384 5818 0 0 0 253 1 0 0 20 0 15 0 10041877 14316269568 189656 18446744073709551615 4194304 4196468 140732614617376 140628735506800 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7377] ppid=7363 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/7365/task/7377/stat : 7377 (java) S 7363 7363 5123 0 -1 1077944384 3781 0 0 0 62 1 0 0 20 0 15 0 10041877 14316269568 189656 18446744073709551615 4194304 4196468 140732614617376 140628734453744 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7378] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7378/stat : 7378 (java) S 7363 7363 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10041877 14316269568 189656 18446744073709551615 4194304 4196468 140732614617376 140628733401440 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7379] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7379/stat : 7379 (java) S 7363 7363 5123 0 -1 1077944384 552 0 0 0 0 0 0 0 20 0 15 0 10041881 14316269568 189656 18446744073709551615 4194304 4196468 140732614617376 140628732349488 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 2.30 2.06 1.82 3/212 7380
/proc/meminfo: memFree=30759388/32770624 swapFree=0/181280
[pid=7363] ppid=7360 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7363/stat : 7363 (xcsp3-exec) S 7360 7363 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10041866 9740288 345 18446744073709551615 4194304 5098028 140724073047712 140724073045816 140006062228092 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 18071552 140724073050523 140724073050727 140724073050727 140724073054187 0
/proc/7363/statm: 2378 345 289 221 0 87 0
[pid=7365] ppid=7363 vsize=13980732 CPUtime=23.98 cores=0,2,4,6
/proc/7365/stat : 7365 (java) S 7363 7363 5123 0 -1 1077944320 48756 0 0 0 2334 64 0 0 20 0 15 0 10041871 14316269568 262904 18446744073709551615 4194304 4196468 140732614617376 140732614599920 140629262204663 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
/proc/7365/statm: 3495183 262904 3240 1 0 3483484 0
[pid=7365/tid=7366] ppid=7363 vsize=13980732 CPUtime=10.39 cores=0,2,4,6
/proc/7365/task/7366/stat : 7366 (java) R 7363 7363 5123 0 -1 4202560 10236 0 0 0 1030 9 0 0 20 0 15 0 10041872 14316269568 262904 18446744073709551615 4194304 4196468 140732614617376 140629266440352 140628864169413 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7367] ppid=7363 vsize=13980732 CPUtime=1.5 cores=0,2,4,6
/proc/7365/task/7367/stat : 7367 (java) S 7363 7363 5123 0 -1 1077944384 3522 0 0 0 138 12 0 0 20 0 15 0 10041872 14316269568 262904 18446744073709551615 4194304 4196468 140732614617376 140629181618704 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7368] ppid=7363 vsize=13980732 CPUtime=1.44 cores=0,2,4,6
/proc/7365/task/7368/stat : 7368 (java) S 7363 7363 5123 0 -1 1077944384 3143 0 0 0 133 11 0 0 20 0 15 0 10041872 14316269568 262904 18446744073709551615 4194304 4196468 140732614617376 140629180566160 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
################
# More data... #
################
[pid=7365/tid=7372] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7372/stat : 7372 (java) S 7363 7363 5123 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 10041874 14316269568 262205 18446744073709551615 4194304 4196468 140732614617376 140628739716832 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7373] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7373/stat : 7373 (java) S 7363 7363 5123 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 10041874 14316269568 262205 18446744073709551615 4194304 4196468 140732614617376 140628738663680 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7374] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7374/stat : 7374 (java) S 7363 7363 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10041877 14316269568 262205 18446744073709551615 4194304 4196468 140732614617376 140628737612240 140629262223259 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7375] ppid=7363 vsize=13980732 CPUtime=3.27 cores=0,2,4,6
/proc/7365/task/7375/stat : 7375 (java) S 7363 7363 5123 0 -1 1077944384 9524 0 0 0 325 2 0 0 20 0 15 0 10041877 14316269568 262205 18446744073709551615 4194304 4196468 140732614617376 140628736559344 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7376] ppid=7363 vsize=13980732 CPUtime=3.26 cores=0,2,4,6
/proc/7365/task/7376/stat : 7376 (java) S 7363 7363 5123 0 -1 1077944384 8444 0 0 0 325 1 0 0 20 0 15 0 10041877 14316269568 262205 18446744073709551615 4194304 4196468 140732614617376 140628735506800 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7377] ppid=7363 vsize=13980732 CPUtime=0.66 cores=0,2,4,6
/proc/7365/task/7377/stat : 7377 (java) S 7363 7363 5123 0 -1 1077944384 4808 0 0 0 65 1 0 0 20 0 15 0 10041877 14316269568 262205 18446744073709551615 4194304 4196468 140732614617376 140628734453744 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7378] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7378/stat : 7378 (java) S 7363 7363 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10041877 14316269568 262205 18446744073709551615 4194304 4196468 140732614617376 140628733401440 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7379] ppid=7363 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/7365/task/7379/stat : 7379 (java) S 7363 7363 5123 0 -1 1077944384 820 0 0 0 2 4 0 0 20 0 15 0 10041881 14316269568 262205 18446744073709551615 4194304 4196468 140732614617376 140628732349488 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
Current children cumulated CPU time (s) 113.86
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.10 2.09 1.87 3/212 7462
/proc/meminfo: memFree=27957740/32770624 swapFree=0/181416
[pid=7363] ppid=7360 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7363/stat : 7363 (xcsp3-exec) S 7360 7363 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10041866 9740288 345 18446744073709551615 4194304 5098028 140724073047712 140724073045816 140006062228092 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 18071552 140724073050523 140724073050727 140724073050727 140724073054187 0
/proc/7363/statm: 2378 345 289 221 0 87 0
[pid=7365] ppid=7363 vsize=13980732 CPUtime=173.95 cores=0,2,4,6
/proc/7365/stat : 7365 (java) S 7363 7363 5123 0 -1 1077944320 109424 0 0 0 17325 70 0 0 20 0 15 0 10041871 14316269568 262219 18446744073709551615 4194304 4196468 140732614617376 140732614599920 140629262204663 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
/proc/7365/statm: 3495183 262219 3240 1 0 3483484 0
[pid=7365/tid=7366] ppid=7363 vsize=13980732 CPUtime=159.99 cores=0,2,4,6
/proc/7365/task/7366/stat : 7366 (java) R 7363 7363 5123 0 -1 4202560 62054 0 0 0 15988 11 0 0 20 0 15 0 10041872 14316269568 262219 18446744073709551615 4194304 4196468 140732614617376 140629266441624 140628863659453 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7367] ppid=7363 vsize=13980732 CPUtime=1.5 cores=0,2,4,6
/proc/7365/task/7367/stat : 7367 (java) S 7363 7363 5123 0 -1 1077944384 3522 0 0 0 138 12 0 0 20 0 15 0 10041872 14316269568 262219 18446744073709551615 4194304 4196468 140732614617376 140629181618704 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7368] ppid=7363 vsize=13980732 CPUtime=1.44 cores=0,2,4,6
/proc/7365/task/7368/stat : 7368 (java) S 7363 7363 5123 0 -1 1077944384 3143 0 0 0 133 11 0 0 20 0 15 0 10041872 14316269568 262219 18446744073709551615 4194304 4196468 140732614617376 140629180566160 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7369] ppid=7363 vsize=13980732 CPUtime=1.48 cores=0,2,4,6
/proc/7365/task/7369/stat : 7369 (java) S 7363 7363 5123 0 -1 1077944384 4514 0 0 0 136 12 0 0 20 0 15 0 10041872 14316269568 262219 18446744073709551615 4194304 4196468 140732614617376 140629179513104 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7370] ppid=7363 vsize=13980732 CPUtime=1.41 cores=0,2,4,6
/proc/7365/task/7370/stat : 7370 (java) S 7363 7363 5123 0 -1 1077944384 7175 0 0 0 130 11 0 0 20 0 15 0 10041872 14316269568 262219 18446744073709551615 4194304 4196468 140732614617376 140629178460560 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7371] ppid=7363 vsize=13980732 CPUtime=0.67 cores=0,2,4,6
/proc/7365/task/7371/stat : 7371 (java) S 7363 7363 5123 0 -1 1077944384 2537 0 0 0 67 0 0 0 20 0 15 0 10041874 14316269568 262219 18446744073709551615 4194304 4196468 140732614617376 140628740770544 140629262215810 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7372] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7372/stat : 7372 (java) S 7363 7363 5123 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 10041874 14316269568 262219 18446744073709551615 4194304 4196468 140732614617376 140628739716832 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7373] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7373/stat : 7373 (java) S 7363 7363 5123 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 10041874 14316269568 262219 18446744073709551615 4194304 4196468 140732614617376 140628738663680 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7374] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7374/stat : 7374 (java) S 7363 7363 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10041877 14316269568 262219 18446744073709551615 4194304 4196468 140732614617376 140628737612240 140629262223259 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7375] ppid=7363 vsize=13980732 CPUtime=3.29 cores=0,2,4,6
/proc/7365/task/7375/stat : 7375 (java) S 7363 7363 5123 0 -1 1077944384 10211 0 0 0 327 2 0 0 20 0 15 0 10041877 14316269568 262219 18446744073709551615 4194304 4196468 140732614617376 140628736559344 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7376] ppid=7363 vsize=13980732 CPUtime=3.29 cores=0,2,4,6
/proc/7365/task/7376/stat : 7376 (java) S 7363 7363 5123 0 -1 1077944384 9258 0 0 0 328 1 0 0 20 0 15 0 10041877 14316269568 262219 18446744073709551615 4194304 4196468 140732614617376 140628735506800 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7377] ppid=7363 vsize=13980732 CPUtime=0.66 cores=0,2,4,6
/proc/7365/task/7377/stat : 7377 (java) S 7363 7363 5123 0 -1 1077944384 4818 0 0 0 65 1 0 0 20 0 15 0 10041877 14316269568 262219 18446744073709551615 4194304 4196468 140732614617376 140628734453744 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7378] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7378/stat : 7378 (java) S 7363 7363 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10041877 14316269568 262219 18446744073709551615 4194304 4196468 140732614617376 140628733401440 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7379] ppid=7363 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/7365/task/7379/stat : 7379 (java) S 7363 7363 5123 0 -1 1077944384 871 0 0 0 5 6 0 0 20 0 15 0 10041881 14316269568 262219 18446744073709551615 4194304 4196468 140732614617376 140628732349488 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
Current children cumulated CPU time (s) 173.95
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.11 2.09 1.88 3/212 7464
/proc/meminfo: memFree=27957492/32770624 swapFree=0/181448
[pid=7363] ppid=7360 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7363/stat : 7363 (xcsp3-exec) S 7360 7363 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10041866 9740288 345 18446744073709551615 4194304 5098028 140724073047712 140724073045816 140006062228092 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 18071552 140724073050523 140724073050727 140724073050727 140724073054187 0
/proc/7363/statm: 2378 345 289 221 0 87 0
[pid=7365] ppid=7363 vsize=13980732 CPUtime=234.13 cores=0,2,4,6
/proc/7365/stat : 7365 (java) S 7363 7363 5123 0 -1 1077944320 123957 0 0 0 23337 76 0 0 20 0 15 0 10041871 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140732614599920 140629262204663 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
/proc/7365/statm: 3495183 262240 3240 1 0 3483484 0
[pid=7365/tid=7366] ppid=7363 vsize=13980732 CPUtime=219.99 cores=0,2,4,6
/proc/7365/task/7366/stat : 7366 (java) R 7363 7363 5123 0 -1 4202560 73599 0 0 0 21988 11 0 0 20 0 15 0 10041872 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140629266443080 140628864169413 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7367] ppid=7363 vsize=13980732 CPUtime=1.5 cores=0,2,4,6
/proc/7365/task/7367/stat : 7367 (java) S 7363 7363 5123 0 -1 1077944384 3522 0 0 0 138 12 0 0 20 0 15 0 10041872 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140629181618704 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7368] ppid=7363 vsize=13980732 CPUtime=1.44 cores=0,2,4,6
/proc/7365/task/7368/stat : 7368 (java) S 7363 7363 5123 0 -1 1077944384 3143 0 0 0 133 11 0 0 20 0 15 0 10041872 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140629180566160 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7369] ppid=7363 vsize=13980732 CPUtime=1.48 cores=0,2,4,6
/proc/7365/task/7369/stat : 7369 (java) S 7363 7363 5123 0 -1 1077944384 4514 0 0 0 136 12 0 0 20 0 15 0 10041872 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140629179513104 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7370] ppid=7363 vsize=13980732 CPUtime=1.41 cores=0,2,4,6
/proc/7365/task/7370/stat : 7370 (java) S 7363 7363 5123 0 -1 1077944384 7175 0 0 0 130 11 0 0 20 0 15 0 10041872 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140629178460560 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7371] ppid=7363 vsize=13980732 CPUtime=0.72 cores=0,2,4,6
/proc/7365/task/7371/stat : 7371 (java) S 7363 7363 5123 0 -1 1077944384 2620 0 0 0 68 4 0 0 20 0 15 0 10041874 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140628740770544 140629262215810 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7372] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7372/stat : 7372 (java) S 7363 7363 5123 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 10041874 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140628739716832 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7373] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7373/stat : 7373 (java) S 7363 7363 5123 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 10041874 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140628738663680 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7374] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7374/stat : 7374 (java) S 7363 7363 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10041877 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140628737612240 140629262223259 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7375] ppid=7363 vsize=13980732 CPUtime=3.33 cores=0,2,4,6
/proc/7365/task/7375/stat : 7375 (java) S 7363 7363 5123 0 -1 1077944384 11080 0 0 0 331 2 0 0 20 0 15 0 10041877 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140628736559344 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7376] ppid=7363 vsize=13980732 CPUtime=3.33 cores=0,2,4,6
/proc/7365/task/7376/stat : 7376 (java) S 7363 7363 5123 0 -1 1077944384 10398 0 0 0 332 1 0 0 20 0 15 0 10041877 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140628735506800 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7377] ppid=7363 vsize=13980732 CPUtime=0.68 cores=0,2,4,6
/proc/7365/task/7377/stat : 7377 (java) S 7363 7363 5123 0 -1 1077944384 5664 0 0 0 67 1 0 0 20 0 15 0 10041877 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140628734453744 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7378] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7378/stat : 7378 (java) S 7363 7363 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10041877 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140628733401440 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7379] ppid=7363 vsize=13980732 CPUtime=0.15 cores=0,2,4,6
/proc/7365/task/7379/stat : 7379 (java) S 7363 7363 5123 0 -1 1077944384 921 0 0 0 6 9 0 0 20 0 15 0 10041881 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140628732349488 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
Current children cumulated CPU time (s) 234.13
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.09 2.08 1.88 3/212 7465
/proc/meminfo: memFree=27957360/32770624 swapFree=0/181452
[pid=7363] ppid=7360 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7363/stat : 7363 (xcsp3-exec) S 7360 7363 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10041866 9740288 345 18446744073709551615 4194304 5098028 140724073047712 140724073045816 140006062228092 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 18071552 140724073050523 140724073050727 140724073050727 140724073054187 0
/proc/7363/statm: 2378 345 289 221 0 87 0
[pid=7365] ppid=7363 vsize=13980732 CPUtime=251.86 cores=0,2,4,6
/proc/7365/stat : 7365 (java) S 7363 7363 5123 0 -1 1077944320 125237 0 0 0 25109 77 0 0 20 0 15 0 10041871 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140732614599920 140629262204663 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
/proc/7365/statm: 3495183 262240 3240 1 0 3483484 0
[pid=7365/tid=7366] ppid=7363 vsize=13980732 CPUtime=237.69 cores=0,2,4,6
/proc/7365/task/7366/stat : 7366 (java) R 7363 7363 5123 0 -1 4202560 73639 0 0 0 23758 11 0 0 20 0 15 0 10041872 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140629266442808 140628865186842 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7367] ppid=7363 vsize=13980732 CPUtime=1.5 cores=0,2,4,6
/proc/7365/task/7367/stat : 7367 (java) S 7363 7363 5123 0 -1 1077944384 3522 0 0 0 138 12 0 0 20 0 15 0 10041872 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140629181618704 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7368] ppid=7363 vsize=13980732 CPUtime=1.44 cores=0,2,4,6
/proc/7365/task/7368/stat : 7368 (java) S 7363 7363 5123 0 -1 1077944384 3143 0 0 0 133 11 0 0 20 0 15 0 10041872 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140629180566160 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7369] ppid=7363 vsize=13980732 CPUtime=1.48 cores=0,2,4,6
/proc/7365/task/7369/stat : 7369 (java) S 7363 7363 5123 0 -1 1077944384 4514 0 0 0 136 12 0 0 20 0 15 0 10041872 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140629179513104 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7370] ppid=7363 vsize=13980732 CPUtime=1.41 cores=0,2,4,6
/proc/7365/task/7370/stat : 7370 (java) S 7363 7363 5123 0 -1 1077944384 7175 0 0 0 130 11 0 0 20 0 15 0 10041872 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140629178460560 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7371] ppid=7363 vsize=13980732 CPUtime=0.72 cores=0,2,4,6
/proc/7365/task/7371/stat : 7371 (java) S 7363 7363 5123 0 -1 1077944384 2620 0 0 0 68 4 0 0 20 0 15 0 10041874 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140628740770544 140629262215810 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7372] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7372/stat : 7372 (java) S 7363 7363 5123 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 10041874 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140628739716832 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7373] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7373/stat : 7373 (java) S 7363 7363 5123 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 10041874 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140628738663680 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7374] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7374/stat : 7374 (java) S 7363 7363 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10041877 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140628737612240 140629262223259 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7375] ppid=7363 vsize=13980732 CPUtime=3.33 cores=0,2,4,6
/proc/7365/task/7375/stat : 7375 (java) S 7363 7363 5123 0 -1 1077944384 11080 0 0 0 331 2 0 0 20 0 15 0 10041877 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140628736559344 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7376] ppid=7363 vsize=13980732 CPUtime=3.33 cores=0,2,4,6
/proc/7365/task/7376/stat : 7376 (java) S 7363 7363 5123 0 -1 1077944384 10398 0 0 0 332 1 0 0 20 0 15 0 10041877 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140628735506800 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7377] ppid=7363 vsize=13980732 CPUtime=0.69 cores=0,2,4,6
/proc/7365/task/7377/stat : 7377 (java) S 7363 7363 5123 0 -1 1077944384 6904 0 0 0 68 1 0 0 20 0 15 0 10041877 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140628734453744 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7378] ppid=7363 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7365/task/7378/stat : 7378 (java) S 7363 7363 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10041877 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140628733401440 140629262214869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
[pid=7365/tid=7379] ppid=7363 vsize=13980732 CPUtime=0.15 cores=0,2,4,6
/proc/7365/task/7379/stat : 7379 (java) S 7363 7363 5123 0 -1 1077944384 921 0 0 0 6 9 0 0 20 0 15 0 10041881 14316269568 262240 18446744073709551615 4194304 4196468 140732614617376 140628732349488 140629262215810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18165760 140732614619604 140732614619779 140732614619779 140732614623183 0
Current children cumulated CPU time (s) 251.86
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 7365 sig 9
??? kill 7363 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 7363 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=931
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=931
# CPU time returned by wait4() is 0.001862
# while last known CPU time is 251.86
#
# 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): 251.86
CPU user time (s): 251.09
CPU system time (s): 0.77
CPU usage (%): 104.937
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000931
system time used= 0.000931
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 1.08047 second user time and 1.55594 second system time
The end