0.00/0.07 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254761-1501674037.xml" -tl '1920s' -p 8 -x 0
0.00/0.26 c [HOME/instance-4254761-1501674037.xml, -tl, 1920s, -p, 8, -x, 0]
0.00/0.32 c 8 solvers in parallel
0.00/0.39 c parse instance...
0.00/1.09 c solve instance...
1920.25/241.56 s UNKNOWN
1920.25/241.56 c Unexpected resolution interruption!
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-4254761-1501674037/watcher-4254761-1501674037 -o /tmp/evaluation-result-4254761-1501674037/solver-4254761-1501674037 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node130-1501661057-2426 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 754145317 HOME/instance-4254761-1501674037.xml
pid=8252
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 7.43 6.16 5.94 3/172 8255
/proc/meminfo: memFree=31813264/32770624 swapFree=0/299536
[pid=8255] ppid=8252 vsize=23672 CPUtime=0 cores=0-7
/proc/8255/stat : 8255 (runsolver) D 8252 8255 2334 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 1230787 24240128 107 18446744073709551615 4194304 4338465 140729961720960 140729961718600 140241339589335 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 9240576 140729961721942 140729961722437 140729961722437 140729961725898 0
/proc/8255/statm: 5918 107 54 36 0 2156 0
[startup+0.100155 s]
/proc/loadavg: 7.43 6.16 5.94 3/172 8255
/proc/meminfo: memFree=31813264/32770624 swapFree=0/299536
[pid=8255] ppid=8252 vsize=9512 CPUtime=0 cores=0-7
/proc/8255/stat : 8255 (xcsp3-exec) S 8252 8255 2334 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 1230787 9740288 345 18446744073709551615 4194304 5098028 140730614138608 140730614136712 140418179527292 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 40538112 140730614145429 140730614145638 140730614145638 140730614149099 0
/proc/8255/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200343 s]
/proc/loadavg: 7.43 6.16 5.94 3/172 8255
/proc/meminfo: memFree=31813264/32770624 swapFree=0/299536
[pid=8255] ppid=8252 vsize=9512 CPUtime=0 cores=0-7
/proc/8255/stat : 8255 (xcsp3-exec) S 8252 8255 2334 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 1230787 9740288 345 18446744073709551615 4194304 5098028 140730614138608 140730614136712 140418179527292 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 40538112 140730614145429 140730614145638 140730614145638 140730614149099 0
/proc/8255/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300333 s]
/proc/loadavg: 7.43 6.16 5.94 3/172 8255
/proc/meminfo: memFree=31813264/32770624 swapFree=0/299536
[pid=8255] ppid=8252 vsize=9512 CPUtime=0 cores=0-7
/proc/8255/stat : 8255 (xcsp3-exec) S 8252 8255 2334 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 1230787 9740288 345 18446744073709551615 4194304 5098028 140730614138608 140730614136712 140418179527292 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 40538112 140730614145429 140730614145638 140730614145638 140730614149099 0
/proc/8255/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700271 s]
/proc/loadavg: 7.43 6.16 5.94 3/172 8255
/proc/meminfo: memFree=31813264/32770624 swapFree=0/299536
[pid=8255] ppid=8252 vsize=9512 CPUtime=0 cores=0-7
/proc/8255/stat : 8255 (xcsp3-exec) S 8252 8255 2334 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 1230787 9740288 345 18446744073709551615 4194304 5098028 140730614138608 140730614136712 140418179527292 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 40538112 140730614145429 140730614145638 140730614145638 140730614149099 0
/proc/8255/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50412 s]
/proc/loadavg: 7.43 6.16 5.94 4/193 8276
/proc/meminfo: memFree=31647860/32770624 swapFree=0/299496
[pid=8255] ppid=8252 vsize=9512 CPUtime=0 cores=0-7
/proc/8255/stat : 8255 (xcsp3-exec) S 8252 8255 2334 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 1230787 9740288 345 18446744073709551615 4194304 5098028 140730614138608 140730614136712 140418179527292 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 40538112 140730614145429 140730614145638 140730614145638 140730614149099 0
/proc/8255/statm: 2378 345 289 221 0 87 0
[pid=8257] ppid=8255 vsize=26534456 CPUtime=5.91 cores=0-7
/proc/8257/stat : 8257 (java) S 8255 8255 2334 0 -1 1077944320 18342 0 0 0 573 18 0 0 20 0 28 0 1230795 27171282944 54834 18446744073709551615 4194304 4196468 140736990877872 140736990860416 140616155344631 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
/proc/8257/statm: 6633614 54834 3207 1 0 6621915 0
[pid=8257/tid=8258] ppid=8255 vsize=26534456 CPUtime=0.96 cores=0-7
/proc/8257/task/8258/stat : 8258 (java) S 8255 8255 2334 0 -1 1077944384 9128 0 0 0 90 6 0 0 20 0 28 0 1230795 27171282944 54834 18446744073709551615 4194304 4196468 140736990877872 140616159585408 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8259] ppid=8255 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/8257/task/8259/stat : 8259 (java) S 8255 8255 2334 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 28 0 1230796 27171282944 54834 18446744073709551615 4194304 4196468 140736990877872 140616112311312 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8260] ppid=8255 vsize=26534456 CPUtime=0.02 cores=0-7
/proc/8257/task/8260/stat : 8260 (java) S 8255 8255 2334 0 -1 1077944384 16 0 0 0 1 1 0 0 20 0 28 0 1230796 27171282944 54834 18446744073709551615 4194304 4196468 140736990877872 140616111258768 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8261] ppid=8255 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/8257/task/8261/stat : 8261 (java) S 8255 8255 2334 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 1230796 27171282944 54834 18446744073709551615 4194304 4196468 140736990877872 140616110205712 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8262] ppid=8255 vsize=26534456 CPUtime=0.02 cores=0-7
/proc/8257/task/8262/stat : 8262 (java) S 8255 8255 2334 0 -1 1077944384 21 0 0 0 1 1 0 0 20 0 28 0 1230796 27171282944 54834 18446744073709551615 4194304 4196468 140736990877872 140616109153168 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8263] ppid=8255 vsize=26534456 CPUtime=0.02 cores=0-7
/proc/8257/task/8263/stat : 8263 (java) S 8255 8255 2334 0 -1 1077944384 15 0 0 0 1 1 0 0 20 0 28 0 1230796 27171282944 54834 18446744073709551615 4194304 4196468 140736990877872 140616108100112 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8264] ppid=8255 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/8257/task/8264/stat : 8264 (java) S 8255 8255 2334 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 1230796 27171282944 54834 18446744073709551615 4194304 4196468 140736990877872 140616107047568 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8265] ppid=8255 vsize=26534456 CPUtime=0.02 cores=0-7
/proc/8257/task/8265/stat : 8265 (java) S 8255 8255 2334 0 -1 1077944384 21 0 0 0 1 1 0 0 20 0 28 0 1230796 27171282944 54834 18446744073709551615 4194304 4196468 140736990877872 140616105994512 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8266] ppid=8255 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/8257/task/8266/stat : 8266 (java) S 8255 8255 2334 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 1230796 27171282944 54834 18446744073709551615 4194304 4196468 140736990877872 140616104941968 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8267] ppid=8255 vsize=26534456 CPUtime=0 cores=0-7
/proc/8257/task/8267/stat : 8267 (java) S 8255 8255 2334 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 1230797 27171282944 54834 18446744073709551615 4194304 4196468 140736990877872 140615286995696 140616155355778 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8268] ppid=8255 vsize=26534456 CPUtime=0 cores=0-7
/proc/8257/task/8268/stat : 8268 (java) S 8255 8255 2334 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 1230798 27171282944 54834 18446744073709551615 4194304 4196468 140736990877872 140615285941920 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8269] ppid=8255 vsize=26534456 CPUtime=0 cores=0-7
/proc/8257/task/8269/stat : 8269 (java) S 8255 8255 2334 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 1230798 27171282944 54834 18446744073709551615 4194304 4196468 140736990877872 140615284888816 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8270] ppid=8255 vsize=26534456 CPUtime=0 cores=0-7
/proc/8257/task/8270/stat : 8270 (java) S 8255 8255 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1230800 27171282944 54834 18446744073709551615 4194304 4196468 140736990877872 140615215999440 140616155363227 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8271] ppid=8255 vsize=26534456 CPUtime=0.58 cores=0-7
/proc/8257/task/8271/stat : 8271 (java) S 8255 8255 2334 0 -1 1077944384 1384 0 0 0 58 0 0 0 20 0 28 0 1230800 27171282944 54834 18446744073709551615 4194304 4196468 140736990877872 140615214936160 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8272] ppid=8255 vsize=26534456 CPUtime=0.48 cores=0-7
/proc/8257/task/8272/stat : 8272 (java) R 8255 8255 2334 0 -1 4202560 1315 0 0 0 48 0 0 0 20 0 28 0 1230800 27171282944 54834 18446744073709551615 4194304 4196468 140736990877872 140615213873912 140616147634080 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8273] ppid=8255 vsize=26534456 CPUtime=0.55 cores=0-7
/proc/8257/task/8273/stat : 8273 (java) D 8255 8255 2334 0 -1 4202560 1834 0 0 0 55 0 0 0 20 0 28 0 1230800 27171282944 54834 18446744073709551615 4194304 4196468 140736990877872 140615212822744 140616148061783 0 4 1 16800974 18446744071582151463 0 0 -1 0 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8274] ppid=8255 vsize=26534456 CPUtime=0.54 cores=0-7
/proc/8257/task/8274/stat : 8274 (java) R 8255 8255 2334 0 -1 4202560 2348 0 0 0 53 1 0 0 20 0 28 0 1230801 27171282944 54834 18446744073709551615 4194304 4196468 140736990877872 140615211785336 140616148442174 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8275] ppid=8255 vsize=26534456 CPUtime=0 cores=0-7
/proc/8257/task/8275/stat : 8275 (java) S 8255 8255 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 1230801 27171282944 54834 18446744073709551615 4194304 4196468 140736990877872 140615210736608 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8276] ppid=8255 vsize=26534456 CPUtime=0 cores=0-7
/proc/8257/task/8276/stat : 8276 (java) S 8255 8255 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1230806 27171282944 54834 18446744073709551615 4194304 4196468 140736990877872 140615209684144 140616155355778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8277] ppid=8255 vsize=26534456 CPUtime=0.32 cores=0-7
/proc/8257/task/8277/stat : 8277 (java) S 8255 8255 2334 0 -1 1077944384 59 0 0 0 32 0 0 0 20 0 28 0 1230898 27171282944 54834 18446744073709551615 4194304 4196468 140736990877872 140615202166272 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 26543968
[startup+3.10303 s]
/proc/loadavg: 7.43 6.16 5.94 12/201 8284
/proc/meminfo: memFree=31580552/32770624 swapFree=0/299496
[pid=8255] ppid=8252 vsize=9512 CPUtime=0 cores=0-7
/proc/8255/stat : 8255 (xcsp3-exec) S 8252 8255 2334 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 1230787 9740288 345 18446744073709551615 4194304 5098028 140730614138608 140730614136712 140418179527292 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 40538112 140730614145429 140730614145638 140730614145638 140730614149099 0
/proc/8255/statm: 2378 345 289 221 0 87 0
[pid=8257] ppid=8255 vsize=26536464 CPUtime=18.59 cores=0-7
/proc/8257/stat : 8257 (java) S 8255 8255 2334 0 -1 1077944320 30755 0 0 0 1840 19 0 0 20 0 28 0 1230795 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140736990860416 140616155344631 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
/proc/8257/statm: 6634116 66687 3211 1 0 6622417 0
[pid=8257/tid=8258] ppid=8255 vsize=26536464 CPUtime=0.96 cores=0-7
/proc/8257/task/8258/stat : 8258 (java) S 8255 8255 2334 0 -1 1077944384 9128 0 0 0 90 6 0 0 20 0 28 0 1230795 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140616159585408 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8259] ppid=8255 vsize=26536464 CPUtime=0.01 cores=0-7
/proc/8257/task/8259/stat : 8259 (java) S 8255 8255 2334 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 28 0 1230796 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140616112311312 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8260] ppid=8255 vsize=26536464 CPUtime=0.02 cores=0-7
/proc/8257/task/8260/stat : 8260 (java) S 8255 8255 2334 0 -1 1077944384 16 0 0 0 1 1 0 0 20 0 28 0 1230796 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140616111258768 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8261] ppid=8255 vsize=26536464 CPUtime=0.01 cores=0-7
/proc/8257/task/8261/stat : 8261 (java) S 8255 8255 2334 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 1230796 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140616110205712 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8262] ppid=8255 vsize=26536464 CPUtime=0.02 cores=0-7
/proc/8257/task/8262/stat : 8262 (java) S 8255 8255 2334 0 -1 1077944384 21 0 0 0 1 1 0 0 20 0 28 0 1230796 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140616109153168 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8263] ppid=8255 vsize=26536464 CPUtime=0.02 cores=0-7
/proc/8257/task/8263/stat : 8263 (java) S 8255 8255 2334 0 -1 1077944384 15 0 0 0 1 1 0 0 20 0 28 0 1230796 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140616108100112 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8264] ppid=8255 vsize=26536464 CPUtime=0.01 cores=0-7
/proc/8257/task/8264/stat : 8264 (java) S 8255 8255 2334 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 1230796 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140616107047568 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8265] ppid=8255 vsize=26536464 CPUtime=0.02 cores=0-7
/proc/8257/task/8265/stat : 8265 (java) S 8255 8255 2334 0 -1 1077944384 21 0 0 0 1 1 0 0 20 0 28 0 1230796 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140616105994512 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8266] ppid=8255 vsize=26536464 CPUtime=0.01 cores=0-7
/proc/8257/task/8266/stat : 8266 (java) S 8255 8255 2334 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 1230796 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140616104941968 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8267] ppid=8255 vsize=26536464 CPUtime=0 cores=0-7
/proc/8257/task/8267/stat : 8267 (java) S 8255 8255 2334 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 1230797 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140615286995696 140616155355778 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8268] ppid=8255 vsize=26536464 CPUtime=0 cores=0-7
/proc/8257/task/8268/stat : 8268 (java) S 8255 8255 2334 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 1230798 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140615285941920 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8269] ppid=8255 vsize=26536464 CPUtime=0 cores=0-7
/proc/8257/task/8269/stat : 8269 (java) S 8255 8255 2334 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 1230798 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140615284888816 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8270] ppid=8255 vsize=26536464 CPUtime=0 cores=0-7
/proc/8257/task/8270/stat : 8270 (java) S 8255 8255 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1230800 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140615215999440 140616155363227 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8271] ppid=8255 vsize=26536464 CPUtime=1.07 cores=0-7
/proc/8257/task/8271/stat : 8271 (java) R 8255 8255 2334 0 -1 4202560 4977 0 0 0 107 0 0 0 20 0 28 0 1230800 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140615214928112 140616138830581 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8272] ppid=8255 vsize=26536464 CPUtime=1.16 cores=0-7
/proc/8257/task/8272/stat : 8272 (java) R 8255 8255 2334 0 -1 4202560 6148 0 0 0 115 1 0 0 20 0 28 0 1230800 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140615213879976 140616136870261 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8273] ppid=8255 vsize=26536464 CPUtime=1.29 cores=0-7
/proc/8257/task/8273/stat : 8273 (java) R 8255 8255 2334 0 -1 4202560 4648 0 0 0 129 0 0 0 20 0 28 0 1230800 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140615212827200 140616140461798 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8274] ppid=8255 vsize=26536464 CPUtime=0.67 cores=0-7
/proc/8257/task/8274/stat : 8274 (java) R 8255 8255 2334 0 -1 1077944384 3405 0 0 0 66 1 0 0 20 0 28 0 1230801 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140615211788400 140616155355778 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8275] ppid=8255 vsize=26536464 CPUtime=0 cores=0-7
/proc/8257/task/8275/stat : 8275 (java) S 8255 8255 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 1230801 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140615210736608 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8276] ppid=8255 vsize=26536464 CPUtime=0 cores=0-7
/proc/8257/task/8276/stat : 8276 (java) S 8255 8255 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1230806 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140615209684144 140616155355778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8277] ppid=8255 vsize=26536464 CPUtime=1.67 cores=0-7
/proc/8257/task/8277/stat : 8277 (java) R 8255 8255 2334 0 -1 4202560 61 0 0 0 167 0 0 0 20 0 28 0 1230898 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140615202167128 140615776566769 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8278] ppid=8255 vsize=26536464 CPUtime=1.72 cores=0-7
/proc/8257/task/8278/stat : 8278 (java) R 8255 8255 2334 0 -1 4202560 307 0 0 0 172 0 0 0 20 0 28 0 1230901 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140615201118792 140615776566654 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8279] ppid=8255 vsize=26536464 CPUtime=1.77 cores=0-7
/proc/8257/task/8279/stat : 8279 (java) R 8255 8255 2334 0 -1 4202560 60 0 0 0 177 0 0 0 20 0 28 0 1230901 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140615200065672 140616155356566 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8280] ppid=8255 vsize=26536464 CPUtime=1.29 cores=0-7
/proc/8257/task/8280/stat : 8280 (java) R 8255 8255 2334 0 -1 4202560 334 0 0 0 129 0 0 0 20 0 28 0 1230901 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140615199013240 140615776536370 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8281] ppid=8255 vsize=26536464 CPUtime=1.69 cores=0-7
/proc/8257/task/8281/stat : 8281 (java) R 8255 8255 2334 0 -1 4202560 36 0 0 0 169 0 0 0 20 0 28 0 1230901 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140615197956088 140615776566450 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8282] ppid=8255 vsize=26536464 CPUtime=1.76 cores=0-7
/proc/8257/task/8282/stat : 8282 (java) R 8255 8255 2334 0 -1 4202560 42 0 0 0 176 0 0 0 20 0 28 0 1230901 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140615196907304 140615776566251 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8283] ppid=8255 vsize=26536464 CPUtime=1.78 cores=0-7
/proc/8257/task/8283/stat : 8283 (java) R 8255 8255 2334 0 -1 4202560 35 0 0 0 178 0 0 0 20 0 28 0 1230901 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140615195855816 140615776565432 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8284] ppid=8255 vsize=26536464 CPUtime=1.49 cores=0-7
/proc/8257/task/8284/stat : 8284 (java) R 8255 8255 2334 0 -1 4202560 45 0 0 0 149 0 0 0 20 0 28 0 1230901 27173339136 66687 18446744073709551615 4194304 4196468 140736990877872 140615194797736 140615776542321 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
Current children cumulated CPU time (s) 18.59
Current children cumulated vsize (KiB) 26545976
[startup+6.30203 s]
/proc/loadavg: 7.07 6.11 5.93 12/201 8284
/proc/meminfo: memFree=31557040/32770624 swapFree=0/299504
[pid=8255] ppid=8252 vsize=9512 CPUtime=0 cores=0-7
/proc/8255/stat : 8255 (xcsp3-exec) S 8252 8255 2334 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 1230787 9740288 345 18446744073709551615 4194304 5098028 140730614138608 140730614136712 140418179527292 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 40538112 140730614145429 140730614145638 140730614145638 140730614149099 0
/proc/8255/statm: 2378 345 289 221 0 87 0
[pid=8257] ppid=8255 vsize=26534456 CPUtime=43.98 cores=0-7
/proc/8257/stat : 8257 (java) S 8255 8255 2334 0 -1 1077944320 47606 0 0 0 4353 45 0 0 20 0 28 0 1230795 27171282944 82776 18446744073709551615 4194304 4196468 140736990877872 140736990860416 140616155344631 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
/proc/8257/statm: 6633614 82776 3239 1 0 6621915 0
[pid=8257/tid=8258] ppid=8255 vsize=26534456 CPUtime=0.96 cores=0-7
/proc/8257/task/8258/stat : 8258 (java) S 8255 8255 2334 0 -1 1077944384 9128 0 0 0 90 6 0 0 20 0 28 0 1230795 27171282944 82776 18446744073709551615 4194304 4196468 140736990877872 140616159585408 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8259] ppid=8255 vsize=26534456 CPUtime=0.05 cores=0-7
/proc/8257/task/8259/stat : 8259 (java) S 8255 8255 2334 0 -1 1077944384 205 0 0 0 2 3 0 0 20 0 28 0 1230796 27171282944 82776 18446744073709551615 4194304 4196468 140736990877872 140616112311312 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8260] ppid=8255 vsize=26534456 CPUtime=0.04 cores=0-7
/proc/8257/task/8260/stat : 8260 (java) S 8255 8255 2334 0 -1 1077944384 119 0 0 0 2 2 0 0 20 0 28 0 1230796 27171282944 82776 18446744073709551615 4194304 4196468 140736990877872 140616111258768 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8261] ppid=8255 vsize=26534456 CPUtime=0.04 cores=0-7
/proc/8257/task/8261/stat : 8261 (java) S 8255 8255 2334 0 -1 1077944384 76 0 0 0 2 2 0 0 20 0 28 0 1230796 27171282944 82776 18446744073709551615 4194304 4196468 140736990877872 140616110205712 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
################
# More data... #
################
[pid=8257/tid=8283] ppid=8255 vsize=26534456 CPUtime=219.92 cores=0-7
/proc/8257/task/8283/stat : 8283 (java) R 8255 8255 2334 0 -1 4202560 1040 0 0 0 21991 1 0 0 20 0 28 0 1230901 27171282944 129365 18446744073709551615 4194304 4196468 140736990877872 140615195852616 140615776919678 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8284] ppid=8255 vsize=26534456 CPUtime=218.32 cores=0-7
/proc/8257/task/8284/stat : 8284 (java) R 8255 8255 2334 0 -1 4202560 2073 0 0 0 21831 1 0 0 20 0 28 0 1230901 27171282944 129365 18446744073709551615 4194304 4196468 140736990877872 140615194799632 140615776919781 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
Current children cumulated CPU time (s) 1767.13
Current children cumulated vsize (KiB) 26543968
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+241.502 s]
/proc/loadavg: 8.47 7.41 6.50 9/203 8299
/proc/meminfo: memFree=31341708/32770624 swapFree=0/299584
[pid=8255] ppid=8252 vsize=9512 CPUtime=0 cores=0-7
/proc/8255/stat : 8255 (xcsp3-exec) S 8252 8255 2334 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 1230787 9740288 345 18446744073709551615 4194304 5098028 140730614138608 140730614136712 140418179527292 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 40538112 140730614145429 140730614145638 140730614145638 140730614149099 0
/proc/8255/statm: 2378 345 289 221 0 87 0
[pid=8257] ppid=8255 vsize=26534456 CPUtime=1920.25 cores=0-7
/proc/8257/stat : 8257 (java) S 8255 8255 2334 0 -1 1077944320 120610 0 0 0 191893 132 0 0 20 0 28 0 1230795 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140736990860416 140616155344631 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
/proc/8257/statm: 6633614 121540 3242 1 0 6621915 0
[pid=8257/tid=8258] ppid=8255 vsize=26534456 CPUtime=0.96 cores=0-7
/proc/8257/task/8258/stat : 8258 (java) S 8255 8255 2334 0 -1 1077944384 9128 0 0 0 90 6 0 0 20 0 28 0 1230795 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140616159585408 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8259] ppid=8255 vsize=26534456 CPUtime=0.24 cores=0-7
/proc/8257/task/8259/stat : 8259 (java) S 8255 8255 2334 0 -1 1077944384 2222 0 0 0 15 9 0 0 20 0 28 0 1230796 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140616112311312 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8260] ppid=8255 vsize=26534456 CPUtime=0.23 cores=0-7
/proc/8257/task/8260/stat : 8260 (java) S 8255 8255 2334 0 -1 1077944384 1988 0 0 0 15 8 0 0 20 0 28 0 1230796 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140616111258768 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8261] ppid=8255 vsize=26534456 CPUtime=0.23 cores=0-7
/proc/8257/task/8261/stat : 8261 (java) S 8255 8255 2334 0 -1 1077944384 1313 0 0 0 14 9 0 0 20 0 28 0 1230796 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140616110205712 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8262] ppid=8255 vsize=26534456 CPUtime=0.24 cores=0-7
/proc/8257/task/8262/stat : 8262 (java) S 8255 8255 2334 0 -1 1077944384 981 0 0 0 15 9 0 0 20 0 28 0 1230796 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140616109153168 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8263] ppid=8255 vsize=26534456 CPUtime=0.24 cores=0-7
/proc/8257/task/8263/stat : 8263 (java) S 8255 8255 2334 0 -1 1077944384 801 0 0 0 15 9 0 0 20 0 28 0 1230796 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140616108100112 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8264] ppid=8255 vsize=26534456 CPUtime=0.23 cores=0-7
/proc/8257/task/8264/stat : 8264 (java) S 8255 8255 2334 0 -1 1077944384 1142 0 0 0 14 9 0 0 20 0 28 0 1230796 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140616107047568 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8265] ppid=8255 vsize=26534456 CPUtime=0.24 cores=0-7
/proc/8257/task/8265/stat : 8265 (java) S 8255 8255 2334 0 -1 1077944384 1049 0 0 0 15 9 0 0 20 0 28 0 1230796 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140616105994512 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8266] ppid=8255 vsize=26534456 CPUtime=0.24 cores=0-7
/proc/8257/task/8266/stat : 8266 (java) S 8255 8255 2334 0 -1 1077944384 1072 0 0 0 15 9 0 0 20 0 28 0 1230796 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140616104941968 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8267] ppid=8255 vsize=26534456 CPUtime=0.18 cores=0-7
/proc/8257/task/8267/stat : 8267 (java) S 8255 8255 2334 0 -1 1077944384 3575 0 0 0 9 9 0 0 20 0 28 0 1230797 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615286995696 140616155355778 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8268] ppid=8255 vsize=26534456 CPUtime=0 cores=0-7
/proc/8257/task/8268/stat : 8268 (java) S 8255 8255 2334 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 1230798 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615285941984 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8269] ppid=8255 vsize=26534456 CPUtime=0 cores=0-7
/proc/8257/task/8269/stat : 8269 (java) S 8255 8255 2334 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 1230798 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615284888816 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8270] ppid=8255 vsize=26534456 CPUtime=0 cores=0-7
/proc/8257/task/8270/stat : 8270 (java) S 8255 8255 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1230800 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615215999440 140616155363227 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8271] ppid=8255 vsize=26534456 CPUtime=3.31 cores=0-7
/proc/8257/task/8271/stat : 8271 (java) S 8255 8255 2334 0 -1 1077944384 17153 0 0 0 328 3 0 0 20 0 28 0 1230800 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615214946544 140616155355778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8272] ppid=8255 vsize=26534456 CPUtime=3.39 cores=0-7
/proc/8257/task/8272/stat : 8272 (java) S 8255 8255 2334 0 -1 1077944384 19932 0 0 0 335 4 0 0 20 0 28 0 1230800 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615213894000 140616155355778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8273] ppid=8255 vsize=26534456 CPUtime=3.6 cores=0-7
/proc/8257/task/8273/stat : 8273 (java) S 8255 8255 2334 0 -1 1077944384 19939 0 0 0 357 3 0 0 20 0 28 0 1230800 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615212840944 140616155355778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8274] ppid=8255 vsize=26534456 CPUtime=0.95 cores=0-7
/proc/8257/task/8274/stat : 8274 (java) S 8255 8255 2334 0 -1 1077944384 13609 0 0 0 92 3 0 0 20 0 28 0 1230801 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615211788400 140616155355778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8275] ppid=8255 vsize=26534456 CPUtime=0 cores=0-7
/proc/8257/task/8275/stat : 8275 (java) S 8255 8255 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 1230801 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615210736608 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8276] ppid=8255 vsize=26534456 CPUtime=0.06 cores=0-7
/proc/8257/task/8276/stat : 8276 (java) S 8255 8255 2334 0 -1 1077944384 2273 0 0 0 1 5 0 0 20 0 28 0 1230806 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615209684144 140616155355778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8277] ppid=8255 vsize=26534456 CPUtime=238.76 cores=0-7
/proc/8257/task/8277/stat : 8277 (java) R 8255 8255 2334 0 -1 4202560 2019 0 0 0 23874 2 0 0 20 0 28 0 1230898 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615202167208 140615780625957 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8278] ppid=8255 vsize=26534456 CPUtime=237.84 cores=0-7
/proc/8257/task/8278/stat : 8278 (java) R 8255 8255 2334 0 -1 4202560 1670 0 0 0 23782 2 0 0 20 0 28 0 1230901 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615201115768 140615776920189 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8279] ppid=8255 vsize=26534456 CPUtime=238.67 cores=0-7
/proc/8257/task/8279/stat : 8279 (java) R 8255 8255 2334 0 -1 4202560 2593 0 0 0 23866 1 0 0 20 0 28 0 1230901 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615200063224 140615779282794 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8280] ppid=8255 vsize=26534456 CPUtime=236.89 cores=0-7
/proc/8257/task/8280/stat : 8280 (java) R 8255 8255 2334 0 -1 4202560 7037 0 0 0 23679 10 0 0 20 0 28 0 1230901 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615199010432 140615781132272 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8281] ppid=8255 vsize=26534456 CPUtime=237.93 cores=0-7
/proc/8257/task/8281/stat : 8281 (java) R 8255 8255 2334 0 -1 4202560 5058 0 0 0 23787 6 0 0 20 0 28 0 1230901 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615197960224 140615781132272 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8282] ppid=8255 vsize=26534456 CPUtime=239 cores=0-7
/proc/8257/task/8282/stat : 8282 (java) R 8255 8255 2334 0 -1 4202560 1601 0 0 0 23899 1 0 0 20 0 28 0 1230901 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615196904568 140615780625607 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8283] ppid=8255 vsize=26534456 CPUtime=239.09 cores=0-7
/proc/8257/task/8283/stat : 8283 (java) R 8255 8255 2334 0 -1 4202560 1062 0 0 0 23908 1 0 0 20 0 28 0 1230901 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615195852616 140615778991168 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8284] ppid=8255 vsize=26534456 CPUtime=237.49 cores=0-7
/proc/8257/task/8284/stat : 8284 (java) R 8255 8255 2334 0 -1 4202560 2090 0 0 0 23748 1 0 0 20 0 28 0 1230901 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615194799736 140615775765004 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
Current children cumulated CPU time (s) 1920.25
Current children cumulated vsize (KiB) 26543968
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 8257 sig 9
??? kill 8255 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+241.502 s]
/proc/loadavg: 8.47 7.41 6.50 9/203 8299
/proc/meminfo: memFree=31341708/32770624 swapFree=0/299584
[pid=8255] ppid=8252 vsize=9512 CPUtime=0 cores=0-7
/proc/8255/stat : 8255 (xcsp3-exec) S 8252 8255 2334 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 1230787 9740288 345 18446744073709551615 4194304 5098028 140730614138608 140730614136712 140418179527292 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 40538112 140730614145429 140730614145638 140730614145638 140730614149099 0
/proc/8255/statm: 2378 345 289 221 0 87 0
[pid=8257] ppid=8255 vsize=26534456 CPUtime=1920.25 cores=0-7
/proc/8257/stat : 8257 (java) S 8255 8255 2334 0 -1 1077944320 120610 0 0 0 191893 132 0 0 20 0 28 0 1230795 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140736990860416 140616155344631 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
/proc/8257/statm: 6633614 121540 3242 1 0 6621915 0
[pid=8257/tid=8258] ppid=8255 vsize=26534456 CPUtime=0.96 cores=0-7
/proc/8257/task/8258/stat : 8258 (java) S 8255 8255 2334 0 -1 1077944384 9128 0 0 0 90 6 0 0 20 0 28 0 1230795 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140616159585408 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8259] ppid=8255 vsize=26534456 CPUtime=0.24 cores=0-7
/proc/8257/task/8259/stat : 8259 (java) S 8255 8255 2334 0 -1 1077944384 2222 0 0 0 15 9 0 0 20 0 28 0 1230796 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140616112311312 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8260] ppid=8255 vsize=26534456 CPUtime=0.23 cores=0-7
/proc/8257/task/8260/stat : 8260 (java) S 8255 8255 2334 0 -1 1077944384 1988 0 0 0 15 8 0 0 20 0 28 0 1230796 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140616111258768 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8261] ppid=8255 vsize=26534456 CPUtime=0.23 cores=0-7
/proc/8257/task/8261/stat : 8261 (java) S 8255 8255 2334 0 -1 1077944384 1313 0 0 0 14 9 0 0 20 0 28 0 1230796 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140616110205712 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8262] ppid=8255 vsize=26534456 CPUtime=0.24 cores=0-7
/proc/8257/task/8262/stat : 8262 (java) S 8255 8255 2334 0 -1 1077944384 981 0 0 0 15 9 0 0 20 0 28 0 1230796 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140616109153168 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8263] ppid=8255 vsize=26534456 CPUtime=0.24 cores=0-7
/proc/8257/task/8263/stat : 8263 (java) S 8255 8255 2334 0 -1 1077944384 801 0 0 0 15 9 0 0 20 0 28 0 1230796 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140616108100112 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8264] ppid=8255 vsize=26534456 CPUtime=0.23 cores=0-7
/proc/8257/task/8264/stat : 8264 (java) S 8255 8255 2334 0 -1 1077944384 1142 0 0 0 14 9 0 0 20 0 28 0 1230796 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140616107047568 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8265] ppid=8255 vsize=26534456 CPUtime=0.24 cores=0-7
/proc/8257/task/8265/stat : 8265 (java) S 8255 8255 2334 0 -1 1077944384 1049 0 0 0 15 9 0 0 20 0 28 0 1230796 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140616105994512 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8266] ppid=8255 vsize=26534456 CPUtime=0.24 cores=0-7
/proc/8257/task/8266/stat : 8266 (java) S 8255 8255 2334 0 -1 1077944384 1072 0 0 0 15 9 0 0 20 0 28 0 1230796 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140616104941968 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8267] ppid=8255 vsize=26534456 CPUtime=0.18 cores=0-7
/proc/8257/task/8267/stat : 8267 (java) S 8255 8255 2334 0 -1 1077944384 3575 0 0 0 9 9 0 0 20 0 28 0 1230797 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615286995696 140616155355778 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8268] ppid=8255 vsize=26534456 CPUtime=0 cores=0-7
/proc/8257/task/8268/stat : 8268 (java) S 8255 8255 2334 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 1230798 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615285941984 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8269] ppid=8255 vsize=26534456 CPUtime=0 cores=0-7
/proc/8257/task/8269/stat : 8269 (java) S 8255 8255 2334 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 1230798 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615284888816 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8270] ppid=8255 vsize=26534456 CPUtime=0 cores=0-7
/proc/8257/task/8270/stat : 8270 (java) S 8255 8255 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1230800 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615215999440 140616155363227 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8271] ppid=8255 vsize=26534456 CPUtime=3.31 cores=0-7
/proc/8257/task/8271/stat : 8271 (java) S 8255 8255 2334 0 -1 1077944384 17153 0 0 0 328 3 0 0 20 0 28 0 1230800 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615214946544 140616155355778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8272] ppid=8255 vsize=26534456 CPUtime=3.39 cores=0-7
/proc/8257/task/8272/stat : 8272 (java) S 8255 8255 2334 0 -1 1077944384 19932 0 0 0 335 4 0 0 20 0 28 0 1230800 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615213894000 140616155355778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8273] ppid=8255 vsize=26534456 CPUtime=3.6 cores=0-7
/proc/8257/task/8273/stat : 8273 (java) S 8255 8255 2334 0 -1 1077944384 19939 0 0 0 357 3 0 0 20 0 28 0 1230800 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615212840944 140616155355778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8274] ppid=8255 vsize=26534456 CPUtime=0.95 cores=0-7
/proc/8257/task/8274/stat : 8274 (java) S 8255 8255 2334 0 -1 1077944384 13609 0 0 0 92 3 0 0 20 0 28 0 1230801 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615211788400 140616155355778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8275] ppid=8255 vsize=26534456 CPUtime=0 cores=0-7
/proc/8257/task/8275/stat : 8275 (java) S 8255 8255 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 1230801 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615210736608 140616155354837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8276] ppid=8255 vsize=26534456 CPUtime=0.06 cores=0-7
/proc/8257/task/8276/stat : 8276 (java) S 8255 8255 2334 0 -1 1077944384 2273 0 0 0 1 5 0 0 20 0 28 0 1230806 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615209684144 140616155355778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8277] ppid=8255 vsize=26534456 CPUtime=238.76 cores=0-7
/proc/8257/task/8277/stat : 8277 (java) R 8255 8255 2334 0 -1 4202560 2019 0 0 0 23874 2 0 0 20 0 28 0 1230898 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615202167208 140615780625957 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8278] ppid=8255 vsize=26534456 CPUtime=237.84 cores=0-7
/proc/8257/task/8278/stat : 8278 (java) R 8255 8255 2334 0 -1 4202560 1670 0 0 0 23782 2 0 0 20 0 28 0 1230901 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615201115768 140615776920189 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8279] ppid=8255 vsize=26534456 CPUtime=238.67 cores=0-7
/proc/8257/task/8279/stat : 8279 (java) R 8255 8255 2334 0 -1 4202560 2593 0 0 0 23866 1 0 0 20 0 28 0 1230901 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615200063224 140615779282794 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8280] ppid=8255 vsize=26534456 CPUtime=236.89 cores=0-7
/proc/8257/task/8280/stat : 8280 (java) R 8255 8255 2334 0 -1 4202560 7037 0 0 0 23679 10 0 0 20 0 28 0 1230901 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615199010432 140615781132272 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8281] ppid=8255 vsize=26534456 CPUtime=237.93 cores=0-7
/proc/8257/task/8281/stat : 8281 (java) R 8255 8255 2334 0 -1 4202560 5058 0 0 0 23787 6 0 0 20 0 28 0 1230901 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615197960224 140615781132272 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8282] ppid=8255 vsize=26534456 CPUtime=239 cores=0-7
/proc/8257/task/8282/stat : 8282 (java) R 8255 8255 2334 0 -1 4202560 1601 0 0 0 23899 1 0 0 20 0 28 0 1230901 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615196904568 140615780625607 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8283] ppid=8255 vsize=26534456 CPUtime=239.09 cores=0-7
/proc/8257/task/8283/stat : 8283 (java) R 8255 8255 2334 0 -1 4202560 1062 0 0 0 23908 1 0 0 20 0 28 0 1230901 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615195852616 140615778991168 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
[pid=8257/tid=8284] ppid=8255 vsize=26534456 CPUtime=237.49 cores=0-7
/proc/8257/task/8284/stat : 8284 (java) R 8255 8255 2334 0 -1 4202560 2090 0 0 0 23748 1 0 0 20 0 28 0 1230901 27171282944 121540 18446744073709551615 4194304 4196468 140736990877872 140615194799736 140615775765004 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 15257600 140736990884306 140736990884482 140736990884482 140736990887887 0
Current children cumulated CPU time (s) 1920.25
Current children cumulated vsize (KiB) 26543968
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8255 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=933
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=933
# CPU time returned by wait4() is 0.001866
# while last known CPU time is 1920.25
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 241.536
CPU time (s): 1920.25
CPU user time (s): 1918.93
CPU system time (s): 1.32
CPU usage (%): 795.016
Max. virtual memory (cumulated for all children) (KiB): 26546064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000933
system time used= 0.000933
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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.73802 second user time and 1.83445 second system time
The end
Begin job on node130 at 2017-08-02 13:26:43
IDJOB=4254761
IDBENCH=115674
IDSOLVER=2636
FILE ID=node130/4254761-1501674037
RUNJOBID= node130-1501661057-2426
PBS_JOBID=
Free space on /tmp= 61864 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-100-05-7.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254761-1501674037/watcher-4254761-1501674037 -o /tmp/evaluation-result-4254761-1501674037/solver-4254761-1501674037 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node130-1501661057-2426 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 754145317 HOME/instance-4254761-1501674037.xml
TIME LIMIT= 1920 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 8361c52194adc4d0d2847bb08daa8f1b
RANDOM SEED=754145317
node130.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.79
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.79
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.79
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.79
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31813020 kB
MemAvailable: 32022424 kB
Buffers: 99336 kB
Cached: 390744 kB
SwapCached: 0 kB
Active: 240108 kB
Inactive: 308288 kB
Active(anon): 58408 kB
Inactive(anon): 8556 kB
Active(file): 181700 kB
Inactive(file): 299732 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7740 kB
Writeback: 20 kB
AnonPages: 166332 kB
Mapped: 27352 kB
Shmem: 8868 kB
Slab: 111888 kB
SReclaimable: 87612 kB
SUnreclaim: 24276 kB
KernelStack: 3728 kB
PageTables: 5048 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 278176 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 116736 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 130432 kB
DirectMap2M: 33415168 kB
Free space on /tmp at the end= 61856 MiB
End job on node130 at 2017-08-02 13:30:45