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-4245593-1500686001/watcher-4245593-1500686001 -o /tmp/evaluation-result-4245593-1500686001/solver-4245593-1500686001 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7653 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2068955554 HOME/instance-4245593-1500686001.xml
pid=27332
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 15.61 15.72 13.80 9/273 27335
/proc/meminfo: memFree=29966608/32770624 swapFree=5800/239344
[pid=27335] ppid=27332 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27335/stat : 27335 (xcsp3-exec) S 27332 27335 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3867854 9740288 345 33554432000 4194304 5098028 140728309734784 140728309732888 140347729629820 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20013056 140728309736590 140728309736800 140728309736800 140728309739499 0
/proc/27335/statm: 2378 345 289 221 0 87 0
[startup+0.100102 s]
/proc/loadavg: 15.61 15.72 13.80 9/273 27335
/proc/meminfo: memFree=29966608/32770624 swapFree=5800/239344
[pid=27335] ppid=27332 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27335/stat : 27335 (xcsp3-exec) S 27332 27335 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3867854 9740288 345 33554432000 4194304 5098028 140728309734784 140728309732888 140347729629820 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20013056 140728309736590 140728309736800 140728309736800 140728309739499 0
/proc/27335/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200282 s]
/proc/loadavg: 15.61 15.72 13.80 9/273 27335
/proc/meminfo: memFree=29966608/32770624 swapFree=5800/239344
[pid=27335] ppid=27332 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27335/stat : 27335 (xcsp3-exec) S 27332 27335 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3867854 9740288 345 33554432000 4194304 5098028 140728309734784 140728309732888 140347729629820 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20013056 140728309736590 140728309736800 140728309736800 140728309739499 0
/proc/27335/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300212 s]
/proc/loadavg: 15.61 15.72 13.80 9/273 27335
/proc/meminfo: memFree=29966608/32770624 swapFree=5800/239344
[pid=27335] ppid=27332 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27335/stat : 27335 (xcsp3-exec) S 27332 27335 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3867854 9740288 345 33554432000 4194304 5098028 140728309734784 140728309732888 140347729629820 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20013056 140728309736590 140728309736800 140728309736800 140728309739499 0
/proc/27335/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700213 s]
/proc/loadavg: 15.61 15.72 13.80 9/273 27335
/proc/meminfo: memFree=29966608/32770624 swapFree=5800/239344
[pid=27335] ppid=27332 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27335/stat : 27335 (xcsp3-exec) S 27332 27335 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3867854 9740288 345 33554432000 4194304 5098028 140728309734784 140728309732888 140347729629820 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20013056 140728309736590 140728309736800 140728309736800 140728309739499 0
/proc/27335/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50108 s]
/proc/loadavg: 15.61 15.72 13.80 14/302 27508
/proc/meminfo: memFree=29761488/32770624 swapFree=5800/239396
[pid=27335] ppid=27332 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27335/stat : 27335 (xcsp3-exec) S 27332 27335 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3867854 9740288 345 33554432000 4194304 5098028 140728309734784 140728309732888 140347729629820 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20013056 140728309736590 140728309736800 140728309736800 140728309739499 0
/proc/27335/statm: 2378 345 289 221 0 87 0
[pid=27336] ppid=27335 vsize=13868332 CPUtime=7.37 cores=1,3,5,7,9,11,13,15
/proc/27336/stat : 27336 (java) S 27335 27335 7621 0 -1 1077944320 24723 0 0 0 707 30 0 0 20 0 28 0 3867854 14201171968 64545 33554432000 4194304 4196468 140730973450960 140730973433504 140225801830135 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
/proc/27336/statm: 3467083 64545 3245 1 0 3454316 0
[pid=27336/tid=27337] ppid=27335 vsize=13868332 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27337/stat : 27337 (java) S 27335 27335 7621 0 -1 1077944384 6888 0 0 0 73 4 0 0 20 0 28 0 3867854 14201171968 64545 33554432000 4194304 4196468 140730973450960 140225806070912 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27339] ppid=27335 vsize=13868332 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27339/stat : 27339 (java) S 27335 27335 7621 0 -1 1077944384 28 0 0 0 2 2 0 0 20 0 28 0 3867855 14201171968 64545 33554432000 4194304 4196468 140730973450960 140225720310928 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27340] ppid=27335 vsize=13868332 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27340/stat : 27340 (java) S 27335 27335 7621 0 -1 1077944384 23 0 0 0 2 1 0 0 20 0 28 0 3867855 14201171968 64545 33554432000 4194304 4196468 140730973450960 140225719258128 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27341] ppid=27335 vsize=13868332 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27341/stat : 27341 (java) S 27335 27335 7621 0 -1 1077944384 36 0 0 0 2 2 0 0 20 0 28 0 3867855 14201171968 64545 33554432000 4194304 4196468 140730973450960 140225718205328 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27342] ppid=27335 vsize=13868332 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27342/stat : 27342 (java) S 27335 27335 7621 0 -1 1077944384 39 0 0 0 4 1 0 0 20 0 28 0 3867855 14201171968 64545 33554432000 4194304 4196468 140730973450960 140225397386000 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27343] ppid=27335 vsize=13868332 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27343/stat : 27343 (java) S 27335 27335 7621 0 -1 1077944384 44 0 0 0 3 2 0 0 20 0 28 0 3867855 14201171968 64545 33554432000 4194304 4196468 140730973450960 140225396333200 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27344] ppid=27335 vsize=13868332 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27344/stat : 27344 (java) S 27335 27335 7621 0 -1 1077944384 30 0 0 0 3 2 0 0 20 0 28 0 3867855 14201171968 64545 33554432000 4194304 4196468 140730973450960 140225395280400 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27345] ppid=27335 vsize=13868332 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27345/stat : 27345 (java) S 27335 27335 7621 0 -1 1077944384 38 0 0 0 2 2 0 0 20 0 28 0 3867855 14201171968 64545 33554432000 4194304 4196468 140730973450960 140225394227600 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27346] ppid=27335 vsize=13868332 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27346/stat : 27346 (java) S 27335 27335 7621 0 -1 1077944384 41 0 0 0 3 2 0 0 20 0 28 0 3867855 14201171968 64545 33554432000 4194304 4196468 140730973450960 140225393174800 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27347] ppid=27335 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27347/stat : 27347 (java) S 27335 27335 7621 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3867858 14201171968 64545 33554432000 4194304 4196468 140730973450960 140224466660208 140225801841282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27348] ppid=27335 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27348/stat : 27348 (java) S 27335 27335 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3867858 14201171968 64545 33554432000 4194304 4196468 140730973450960 140224465606176 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27349] ppid=27335 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27349/stat : 27349 (java) S 27335 27335 7621 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3867859 14201171968 64545 33554432000 4194304 4196468 140730973450960 140224464553328 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27350] ppid=27335 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27350/stat : 27350 (java) S 27335 27335 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3867863 14201171968 64545 33554432000 4194304 4196468 140730973450960 140224463501648 140225801848731 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27351] ppid=27335 vsize=13868332 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27351/stat : 27351 (java) R 27335 27335 7621 0 -1 4202560 3033 0 0 0 88 1 0 0 20 0 28 0 3867863 14201171968 64545 33554432000 4194304 4196468 140730973450960 140224462435032 140225786753884 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27352] ppid=27335 vsize=13868332 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27352/stat : 27352 (java) R 27335 27335 7621 0 -1 4202560 3448 0 0 0 76 1 0 0 20 0 28 0 3867863 14201171968 64545 33554432000 4194304 4196468 140730973450960 140224461382368 140225783374736 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27353] ppid=27335 vsize=13868332 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27353/stat : 27353 (java) R 27335 27335 7621 0 -1 4202560 2376 0 0 0 78 0 0 0 20 0 28 0 3867863 14201171968 64545 33554432000 4194304 4196468 140730973450960 140224460328560 140225786224023 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27354] ppid=27335 vsize=13868332 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27354/stat : 27354 (java) S 27335 27335 7621 0 -1 1077944384 3173 0 0 0 73 1 0 0 20 0 28 0 3867863 14201171968 64545 33554432000 4194304 4196468 140730973450960 140224459290608 140225801841282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27355] ppid=27335 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27355/stat : 27355 (java) S 27335 27335 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3867863 14201171968 64545 33554432000 4194304 4196468 140730973450960 140224458239072 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27356] ppid=27335 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27356/stat : 27356 (java) S 27335 27335 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3867863 14201171968 64545 33554432000 4194304 4196468 140730973450960 140224457186352 140225801841282 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
Current children cumulated CPU time (s) 7.37
Current children cumulated vsize (KiB) 13877844
[startup+3.10167 s]
/proc/loadavg: 15.61 15.72 13.80 20/302 27596
/proc/meminfo: memFree=29631512/32770624 swapFree=5800/239392
[pid=27335] ppid=27332 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27335/stat : 27335 (xcsp3-exec) S 27332 27335 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3867854 9740288 345 33554432000 4194304 5098028 140728309734784 140728309732888 140347729629820 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20013056 140728309736590 140728309736800 140728309736800 140728309739499 0
/proc/27335/statm: 2378 345 289 221 0 87 0
[pid=27336] ppid=27335 vsize=13869360 CPUtime=20.06 cores=1,3,5,7,9,11,13,15
/proc/27336/stat : 27336 (java) S 27335 27335 7621 0 -1 1077944320 26114 0 0 0 1962 44 0 0 20 0 28 0 3867854 14202224640 97802 33554432000 4194304 4196468 140730973450960 140730973433504 140225801830135 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
/proc/27336/statm: 3467340 97802 3271 1 0 3454573 0
[pid=27336/tid=27337] ppid=27335 vsize=13869360 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27337/stat : 27337 (java) S 27335 27335 7621 0 -1 1077944384 6889 0 0 0 73 4 0 0 20 0 28 0 3867854 14202224640 97802 33554432000 4194304 4196468 140730973450960 140225806070912 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27339] ppid=27335 vsize=13869360 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27339/stat : 27339 (java) S 27335 27335 7621 0 -1 1077944384 35 0 0 0 4 2 0 0 20 0 28 0 3867855 14202224640 97802 33554432000 4194304 4196468 140730973450960 140225720310928 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27340] ppid=27335 vsize=13869360 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27340/stat : 27340 (java) S 27335 27335 7621 0 -1 1077944384 36 0 0 0 4 2 0 0 20 0 28 0 3867855 14202224640 97802 33554432000 4194304 4196468 140730973450960 140225719258128 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27341] ppid=27335 vsize=13869360 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27341/stat : 27341 (java) S 27335 27335 7621 0 -1 1077944384 55 0 0 0 4 3 0 0 20 0 28 0 3867855 14202224640 97802 33554432000 4194304 4196468 140730973450960 140225718205328 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27342] ppid=27335 vsize=13869360 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27342/stat : 27342 (java) S 27335 27335 7621 0 -1 1077944384 49 0 0 0 5 2 0 0 20 0 28 0 3867855 14202224640 97802 33554432000 4194304 4196468 140730973450960 140225397386000 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27343] ppid=27335 vsize=13869360 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27343/stat : 27343 (java) S 27335 27335 7621 0 -1 1077944384 54 0 0 0 4 3 0 0 20 0 28 0 3867855 14202224640 97802 33554432000 4194304 4196468 140730973450960 140225396333200 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27344] ppid=27335 vsize=13869360 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27344/stat : 27344 (java) S 27335 27335 7621 0 -1 1077944384 38 0 0 0 4 3 0 0 20 0 28 0 3867855 14202224640 97802 33554432000 4194304 4196468 140730973450960 140225395280400 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27345] ppid=27335 vsize=13869360 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27345/stat : 27345 (java) S 27335 27335 7621 0 -1 1077944384 48 0 0 0 4 3 0 0 20 0 28 0 3867855 14202224640 97802 33554432000 4194304 4196468 140730973450960 140225394227600 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27346] ppid=27335 vsize=13869360 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27346/stat : 27346 (java) S 27335 27335 7621 0 -1 1077944384 51 0 0 0 4 4 0 0 20 0 28 0 3867855 14202224640 97802 33554432000 4194304 4196468 140730973450960 140225393174800 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27347] ppid=27335 vsize=13869360 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27347/stat : 27347 (java) S 27335 27335 7621 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 28 0 3867858 14202224640 97802 33554432000 4194304 4196468 140730973450960 140224466660208 140225801841282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27348] ppid=27335 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27348/stat : 27348 (java) S 27335 27335 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3867858 14202224640 97802 33554432000 4194304 4196468 140730973450960 140224465606240 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27349] ppid=27335 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27349/stat : 27349 (java) S 27335 27335 7621 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3867859 14202224640 97802 33554432000 4194304 4196468 140730973450960 140224464553328 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27350] ppid=27335 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27350/stat : 27350 (java) S 27335 27335 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3867863 14202224640 97802 33554432000 4194304 4196468 140730973450960 140224463501648 140225801848731 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27351] ppid=27335 vsize=13869360 CPUtime=1.68 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27351/stat : 27351 (java) S 27335 27335 7621 0 -1 1077944384 3266 0 0 0 167 1 0 0 20 0 28 0 3867863 14202224640 97802 33554432000 4194304 4196468 140730973450960 140224462449008 140225801841282 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27352] ppid=27335 vsize=13869360 CPUtime=1.75 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27352/stat : 27352 (java) S 27335 27335 7621 0 -1 1077944384 3657 0 0 0 174 1 0 0 20 0 28 0 3867863 14202224640 97802 33554432000 4194304 4196468 140730973450960 140224461396208 140225801841282 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27353] ppid=27335 vsize=13869360 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27353/stat : 27353 (java) S 27335 27335 7621 0 -1 1077944384 2548 0 0 0 163 0 0 0 20 0 28 0 3867863 14202224640 97802 33554432000 4194304 4196468 140730973450960 140224460343408 140225801841282 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27354] ppid=27335 vsize=13869360 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27354/stat : 27354 (java) S 27335 27335 7621 0 -1 1077944384 3296 0 0 0 86 1 0 0 20 0 28 0 3867863 14202224640 97802 33554432000 4194304 4196468 140730973450960 140224459290608 140225801841282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27355] ppid=27335 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27355/stat : 27355 (java) S 27335 27335 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3867863 14202224640 97802 33554432000 4194304 4196468 140730973450960 140224458239072 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27356] ppid=27335 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27356/stat : 27356 (java) S 27335 27335 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3867863 14202224640 97802 33554432000 4194304 4196468 140730973450960 140224457186352 140225801841282 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27589] ppid=27335 vsize=13869360 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27589/stat : 27589 (java) R 27335 27335 7621 0 -1 4202560 20 0 0 0 82 0 0 0 20 0 28 0 3868060 14202224640 97802 33554432000 4194304 4196468 140730973450960 140224444960288 140225402713375 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27590] ppid=27335 vsize=13869360 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27590/stat : 27590 (java) R 27335 27335 7621 0 -1 4202560 20 0 0 0 79 0 0 0 20 0 28 0 3868060 14202224640 97802 33554432000 4194304 4196468 140730973450960 140224449172008 140225402519864 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27591] ppid=27335 vsize=13869360 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27591/stat : 27591 (java) R 27335 27335 7621 0 -1 4202560 18 0 0 0 68 0 0 0 20 0 28 0 3868060 14202224640 97802 33554432000 4194304 4196468 140730973450960 140224446013312 140225402713473 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27592] ppid=27335 vsize=13869360 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27592/stat : 27592 (java) R 27335 27335 7621 0 -1 4202560 76 0 0 0 67 0 0 0 20 0 28 0 3868060 14202224640 97802 33554432000 4194304 4196468 140730973450960 140224442855544 140225403614562 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27593] ppid=27335 vsize=13869360 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27593/stat : 27593 (java) R 27335 27335 7621 0 -1 4202560 19 0 0 0 71 0 0 0 20 0 28 0 3868060 14202224640 97802 33554432000 4194304 4196468 140730973450960 140224443908168 140225402519487 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27594] ppid=27335 vsize=13869360 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27594/stat : 27594 (java) R 27335 27335 7621 0 -1 4202560 19 0 0 0 90 0 0 0 20 0 28 0 3868060 14202224640 97802 33554432000 4194304 4196468 140730973450960 140224447066248 140225402519630 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27595] ppid=27335 vsize=13869360 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27595/stat : 27595 (java) R 27335 27335 7621 0 -1 4202560 138 0 0 0 93 0 0 0 20 0 28 0 3868060 14202224640 97802 33554432000 4194304 4196468 140730973450960 140223300228456 140225403645817 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27596] ppid=27335 vsize=13869360 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27596/stat : 27596 (java) R 27335 27335 7621 0 -1 4202560 58 0 0 0 83 0 0 0 20 0 28 0 3868061 14202224640 97802 33554432000 4194304 4196468 140730973450960 140223298121672 140225402889017 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
Current children cumulated CPU time (s) 20.06
Current children cumulated vsize (KiB) 13878872
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 27336 sig 9
??? kill 27335 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20207 s]
/proc/loadavg: 15.61 15.72 13.80 20/302 27596
/proc/meminfo: memFree=29631512/32770624 swapFree=5800/239392
[pid=27335] ppid=27332 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27335/stat : 27335 (xcsp3-exec) S 27332 27335 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3867854 9740288 345 33554432000 4194304 5098028 140728309734784 140728309732888 140347729629820 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20013056 140728309736590 140728309736800 140728309736800 140728309739499 0
/proc/27335/statm: 2378 345 289 221 0 87 0
[pid=27336] ppid=27335 vsize=13869360 CPUtime=20.87 cores=1,3,5,7,9,11,13,15
/proc/27336/stat : 27336 (java) S 27335 27335 7621 0 -1 1077944320 26194 0 0 0 2042 45 0 0 20 0 28 0 3867854 14202224640 97802 33554432000 4194304 4196468 140730973450960 140730973433504 140225801830135 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
/proc/27336/statm: 3467340 97802 3271 1 0 3454573 0
[pid=27336/tid=27337] ppid=27335 vsize=13869360 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27337/stat : 27337 (java) S 27335 27335 7621 0 -1 1077944384 6889 0 0 0 73 4 0 0 20 0 28 0 3867854 14202224640 97802 33554432000 4194304 4196468 140730973450960 140225806070912 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
################
# More data... #
################
/proc/27336/task/27355/stat : 27355 (java) S 27335 27335 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3867863 14202224640 97802 33554432000 4194304 4196468 140730973450960 140224458239072 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27356] ppid=27335 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27356/stat : 27356 (java) S 27335 27335 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3867863 14202224640 97802 33554432000 4194304 4196468 140730973450960 140224457186352 140225801841282 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27589] ppid=27335 vsize=13869360 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27589/stat : 27589 (java) R 27335 27335 7621 0 -1 4202560 24 0 0 0 90 0 0 0 20 0 28 0 3868060 14202224640 97802 33554432000 4194304 4196468 140730973450960 140224444960400 140225402519569 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27590] ppid=27335 vsize=13869360 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27590/stat : 27590 (java) R 27335 27335 7621 0 -1 4202560 20 0 0 0 89 0 0 0 20 0 28 0 3868060 14202224640 97802 33554432000 4194304 4196468 140730973450960 140224449171336 140225404088247 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27591] ppid=27335 vsize=13869360 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27591/stat : 27591 (java) R 27335 27335 7621 0 -1 4202560 20 0 0 0 78 0 0 0 20 0 28 0 3868060 14202224640 97802 33554432000 4194304 4196468 140730973450960 140224446012968 140225402593739 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27592] ppid=27335 vsize=13869360 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27592/stat : 27592 (java) R 27335 27335 7621 0 -1 4202560 87 0 0 0 77 0 0 0 20 0 28 0 3868060 14202224640 97802 33554432000 4194304 4196468 140730973450960 140224442854904 140225402713240 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27593] ppid=27335 vsize=13869360 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27593/stat : 27593 (java) R 27335 27335 7621 0 -1 4202560 21 0 0 0 80 0 0 0 20 0 28 0 3868060 14202224640 97802 33554432000 4194304 4196468 140730973450960 140224443908168 140225402888578 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27594] ppid=27335 vsize=13869360 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27594/stat : 27594 (java) R 27335 27335 7621 0 -1 4202560 22 0 0 0 101 0 0 0 20 0 28 0 3868060 14202224640 97802 33554432000 4194304 4196468 140730973450960 140224447066248 140225404088218 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27595] ppid=27335 vsize=13869360 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27595/stat : 27595 (java) R 27335 27335 7621 0 -1 4202560 195 0 0 0 103 0 0 0 20 0 28 0 3868060 14202224640 97802 33554432000 4194304 4196468 140730973450960 140223300228456 140225404063366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27596] ppid=27335 vsize=13869360 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27596/stat : 27596 (java) R 27335 27335 7621 0 -1 4202560 59 0 0 0 93 0 0 0 20 0 28 0 3868061 14202224640 97802 33554432000 4194304 4196468 140730973450960 140223298121672 140225402888758 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
Current children cumulated CPU time (s) 20.87
Current children cumulated vsize (KiB) 13878872
[startup+4.00163 s]
/proc/loadavg: 15.61 15.72 13.80 17/302 27596
/proc/meminfo: memFree=29584968/32770624 swapFree=5800/239392
[pid=27335] ppid=27332 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27335/stat : 27335 (xcsp3-exec) S 27332 27335 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3867854 9740288 345 33554432000 4194304 5098028 140728309734784 140728309732888 140347729629820 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20013056 140728309736590 140728309736800 140728309736800 140728309739499 0
/proc/27335/statm: 2378 345 289 221 0 87 0
[pid=27336] ppid=27335 vsize=13869360 CPUtime=27.22 cores=1,3,5,7,9,11,13,15
/proc/27336/stat : 27336 (java) S 27335 27335 7621 0 -1 1077944320 28161 0 0 0 2677 45 0 0 20 0 28 0 3867854 14202224640 97960 33554432000 4194304 4196468 140730973450960 140730973433504 140225801830135 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
/proc/27336/statm: 3467340 97960 3276 1 0 3454573 0
[pid=27336/tid=27337] ppid=27335 vsize=13869360 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27337/stat : 27337 (java) S 27335 27335 7621 0 -1 1077944384 6889 0 0 0 73 4 0 0 20 0 28 0 3867854 14202224640 97960 33554432000 4194304 4196468 140730973450960 140225806070912 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27339] ppid=27335 vsize=13869360 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27339/stat : 27339 (java) S 27335 27335 7621 0 -1 1077944384 35 0 0 0 4 2 0 0 20 0 28 0 3867855 14202224640 97960 33554432000 4194304 4196468 140730973450960 140225720310928 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27340] ppid=27335 vsize=13869360 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27340/stat : 27340 (java) S 27335 27335 7621 0 -1 1077944384 36 0 0 0 4 2 0 0 20 0 28 0 3867855 14202224640 97960 33554432000 4194304 4196468 140730973450960 140225719258128 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27341] ppid=27335 vsize=13869360 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27341/stat : 27341 (java) S 27335 27335 7621 0 -1 1077944384 55 0 0 0 4 3 0 0 20 0 28 0 3867855 14202224640 97960 33554432000 4194304 4196468 140730973450960 140225718205328 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27342] ppid=27335 vsize=13869360 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27342/stat : 27342 (java) S 27335 27335 7621 0 -1 1077944384 49 0 0 0 5 2 0 0 20 0 28 0 3867855 14202224640 97960 33554432000 4194304 4196468 140730973450960 140225397386000 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27343] ppid=27335 vsize=13869360 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27343/stat : 27343 (java) S 27335 27335 7621 0 -1 1077944384 54 0 0 0 4 3 0 0 20 0 28 0 3867855 14202224640 97960 33554432000 4194304 4196468 140730973450960 140225396333200 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27344] ppid=27335 vsize=13869360 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27344/stat : 27344 (java) S 27335 27335 7621 0 -1 1077944384 38 0 0 0 4 3 0 0 20 0 28 0 3867855 14202224640 97960 33554432000 4194304 4196468 140730973450960 140225395280400 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27345] ppid=27335 vsize=13869360 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27345/stat : 27345 (java) S 27335 27335 7621 0 -1 1077944384 48 0 0 0 4 3 0 0 20 0 28 0 3867855 14202224640 97960 33554432000 4194304 4196468 140730973450960 140225394227600 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27346] ppid=27335 vsize=13869360 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27346/stat : 27346 (java) S 27335 27335 7621 0 -1 1077944384 51 0 0 0 4 4 0 0 20 0 28 0 3867855 14202224640 97960 33554432000 4194304 4196468 140730973450960 140225393174800 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27347] ppid=27335 vsize=13869360 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27347/stat : 27347 (java) S 27335 27335 7621 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 28 0 3867858 14202224640 97960 33554432000 4194304 4196468 140730973450960 140224466660208 140225801841282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27348] ppid=27335 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27348/stat : 27348 (java) S 27335 27335 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3867858 14202224640 97960 33554432000 4194304 4196468 140730973450960 140224465606240 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27349] ppid=27335 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27349/stat : 27349 (java) S 27335 27335 7621 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3867859 14202224640 97960 33554432000 4194304 4196468 140730973450960 140224464553328 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27350] ppid=27335 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27350/stat : 27350 (java) S 27335 27335 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3867863 14202224640 97960 33554432000 4194304 4196468 140730973450960 140224463501648 140225801848731 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27351] ppid=27335 vsize=13869360 CPUtime=1.78 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27351/stat : 27351 (java) S 27335 27335 7621 0 -1 1077944384 3865 0 0 0 177 1 0 0 20 0 28 0 3867863 14202224640 97960 33554432000 4194304 4196468 140730973450960 140224462449008 140225801841282 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27352] ppid=27335 vsize=13869360 CPUtime=1.88 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27352/stat : 27352 (java) S 27335 27335 7621 0 -1 1077944384 3714 0 0 0 187 1 0 0 20 0 28 0 3867863 14202224640 97960 33554432000 4194304 4196468 140730973450960 140224461396208 140225801841282 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27353] ppid=27335 vsize=13869360 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27353/stat : 27353 (java) S 27335 27335 7621 0 -1 1077944384 3240 0 0 0 180 1 0 0 20 0 28 0 3867863 14202224640 97960 33554432000 4194304 4196468 140730973450960 140224460343408 140225801841282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27354] ppid=27335 vsize=13869360 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27354/stat : 27354 (java) S 27335 27335 7621 0 -1 1077944384 3450 0 0 0 88 1 0 0 20 0 28 0 3867863 14202224640 97960 33554432000 4194304 4196468 140730973450960 140224459290608 140225801841282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27355] ppid=27335 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27355/stat : 27355 (java) S 27335 27335 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3867863 14202224640 97960 33554432000 4194304 4196468 140730973450960 140224458239072 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27356] ppid=27335 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27356/stat : 27356 (java) S 27335 27335 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3867863 14202224640 97960 33554432000 4194304 4196468 140730973450960 140224457186352 140225801841282 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27589] ppid=27335 vsize=13869360 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27589/stat : 27589 (java) R 27335 27335 7621 0 -1 4202560 66 0 0 0 158 0 0 0 20 0 28 0 3868060 14202224640 97960 33554432000 4194304 4196468 140730973450960 140224444960032 140225403645969 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27590] ppid=27335 vsize=13869360 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27590/stat : 27590 (java) R 27335 27335 7621 0 -1 4202560 61 0 0 0 169 0 0 0 20 0 28 0 3868060 14202224640 97960 33554432000 4194304 4196468 140730973450960 140224449173256 140225402713473 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27591] ppid=27335 vsize=13869360 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27591/stat : 27591 (java) R 27335 27335 7621 0 -1 4202560 99 0 0 0 155 0 0 0 20 0 28 0 3868060 14202224640 97960 33554432000 4194304 4196468 140730973450960 140224446013160 140225404512926 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27592] ppid=27335 vsize=13869360 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27592/stat : 27592 (java) R 27335 27335 7621 0 -1 4202560 200 0 0 0 145 0 0 0 20 0 28 0 3868060 14202224640 97960 33554432000 4194304 4196468 140730973450960 140224442855592 140225402713397 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27593] ppid=27335 vsize=13869360 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27593/stat : 27593 (java) R 27335 27335 7621 0 -1 4202560 62 0 0 0 154 0 0 0 20 0 28 0 3868060 14202224640 97960 33554432000 4194304 4196468 140730973450960 140224443908648 140225402627184 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27594] ppid=27335 vsize=13869360 CPUtime=1.75 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27594/stat : 27594 (java) R 27335 27335 7621 0 -1 4202560 64 0 0 0 175 0 0 0 20 0 28 0 3868060 14202224640 97960 33554432000 4194304 4196468 140730973450960 140224447066584 140225403357572 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27595] ppid=27335 vsize=13869360 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27595/stat : 27595 (java) R 27335 27335 7621 0 -1 4202560 256 0 0 0 180 0 0 0 20 0 28 0 3868060 14202224640 97960 33554432000 4194304 4196468 140730973450960 140223300229256 140225403828350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27596] ppid=27335 vsize=13869360 CPUtime=1.7 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27596/stat : 27596 (java) R 27335 27335 7621 0 -1 4202560 104 0 0 0 170 0 0 0 20 0 28 0 3868061 14202224640 97960 33554432000 4194304 4196468 140730973450960 140223298124536 140225403645916 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
Current children cumulated CPU time (s) 27.22
Current children cumulated vsize (KiB) 13878872
[startup+4.20104 s]
/proc/loadavg: 15.61 15.72 13.80 17/302 27596
/proc/meminfo: memFree=29584968/32770624 swapFree=5800/239392
[pid=27335] ppid=27332 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27335/stat : 27335 (xcsp3-exec) S 27332 27335 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3867854 9740288 345 33554432000 4194304 5098028 140728309734784 140728309732888 140347729629820 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20013056 140728309736590 140728309736800 140728309736800 140728309739499 0
/proc/27335/statm: 2378 345 289 221 0 87 0
[pid=27336] ppid=27335 vsize=13869360 CPUtime=28.8 cores=1,3,5,7,9,11,13,15
/proc/27336/stat : 27336 (java) S 27335 27335 7621 0 -1 1077944320 28454 0 0 0 2834 46 0 0 20 0 28 0 3867854 14202224640 98021 33554432000 4194304 4196468 140730973450960 140730973433504 140225801830135 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
/proc/27336/statm: 3467340 98021 3276 1 0 3454573 0
[pid=27336/tid=27337] ppid=27335 vsize=13869360 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27337/stat : 27337 (java) S 27335 27335 7621 0 -1 1077944384 6889 0 0 0 73 4 0 0 20 0 28 0 3867854 14202224640 98021 33554432000 4194304 4196468 140730973450960 140225806070912 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27339] ppid=27335 vsize=13869360 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27339/stat : 27339 (java) S 27335 27335 7621 0 -1 1077944384 35 0 0 0 4 2 0 0 20 0 28 0 3867855 14202224640 98021 33554432000 4194304 4196468 140730973450960 140225720310928 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27340] ppid=27335 vsize=13869360 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27340/stat : 27340 (java) S 27335 27335 7621 0 -1 1077944384 36 0 0 0 4 2 0 0 20 0 28 0 3867855 14202224640 98021 33554432000 4194304 4196468 140730973450960 140225719258128 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27341] ppid=27335 vsize=13869360 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27341/stat : 27341 (java) S 27335 27335 7621 0 -1 1077944384 55 0 0 0 4 3 0 0 20 0 28 0 3867855 14202224640 98021 33554432000 4194304 4196468 140730973450960 140225718205328 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27342] ppid=27335 vsize=13869360 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27342/stat : 27342 (java) S 27335 27335 7621 0 -1 1077944384 49 0 0 0 5 2 0 0 20 0 28 0 3867855 14202224640 98021 33554432000 4194304 4196468 140730973450960 140225397386000 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27343] ppid=27335 vsize=13869360 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27343/stat : 27343 (java) S 27335 27335 7621 0 -1 1077944384 54 0 0 0 4 3 0 0 20 0 28 0 3867855 14202224640 98021 33554432000 4194304 4196468 140730973450960 140225396333200 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27344] ppid=27335 vsize=13869360 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27344/stat : 27344 (java) S 27335 27335 7621 0 -1 1077944384 38 0 0 0 4 3 0 0 20 0 28 0 3867855 14202224640 98021 33554432000 4194304 4196468 140730973450960 140225395280400 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27345] ppid=27335 vsize=13869360 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27345/stat : 27345 (java) S 27335 27335 7621 0 -1 1077944384 48 0 0 0 4 3 0 0 20 0 28 0 3867855 14202224640 98021 33554432000 4194304 4196468 140730973450960 140225394227600 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27346] ppid=27335 vsize=13869360 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27346/stat : 27346 (java) S 27335 27335 7621 0 -1 1077944384 51 0 0 0 4 4 0 0 20 0 28 0 3867855 14202224640 98021 33554432000 4194304 4196468 140730973450960 140225393174800 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27347] ppid=27335 vsize=13869360 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27347/stat : 27347 (java) S 27335 27335 7621 0 -1 1077944384 450 0 0 0 1 0 0 0 20 0 28 0 3867858 14202224640 98021 33554432000 4194304 4196468 140730973450960 140224466660208 140225801841282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27348] ppid=27335 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27348/stat : 27348 (java) S 27335 27335 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3867858 14202224640 98021 33554432000 4194304 4196468 140730973450960 140224465606240 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27349] ppid=27335 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27349/stat : 27349 (java) S 27335 27335 7621 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3867859 14202224640 98021 33554432000 4194304 4196468 140730973450960 140224464553328 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27350] ppid=27335 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27350/stat : 27350 (java) S 27335 27335 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3867863 14202224640 98021 33554432000 4194304 4196468 140730973450960 140224463501648 140225801848731 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27351] ppid=27335 vsize=13869360 CPUtime=1.78 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27351/stat : 27351 (java) S 27335 27335 7621 0 -1 1077944384 3867 0 0 0 177 1 0 0 20 0 28 0 3867863 14202224640 98021 33554432000 4194304 4196468 140730973450960 140224462449008 140225801841282 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27352] ppid=27335 vsize=13869360 CPUtime=1.89 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27352/stat : 27352 (java) S 27335 27335 7621 0 -1 1077944384 3737 0 0 0 188 1 0 0 20 0 28 0 3867863 14202224640 98021 33554432000 4194304 4196468 140730973450960 140224461396208 140225801841282 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27353] ppid=27335 vsize=13869360 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27353/stat : 27353 (java) S 27335 27335 7621 0 -1 1077944384 3240 0 0 0 180 1 0 0 20 0 28 0 3867863 14202224640 98021 33554432000 4194304 4196468 140730973450960 140224460343408 140225801841282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27354] ppid=27335 vsize=13869360 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27354/stat : 27354 (java) S 27335 27335 7621 0 -1 1077944384 3450 0 0 0 88 1 0 0 20 0 28 0 3867863 14202224640 98021 33554432000 4194304 4196468 140730973450960 140224459290608 140225801841282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27355] ppid=27335 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27355/stat : 27355 (java) S 27335 27335 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3867863 14202224640 98021 33554432000 4194304 4196468 140730973450960 140224458239072 140225801840341 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27356] ppid=27335 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27356/stat : 27356 (java) S 27335 27335 7621 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 3867863 14202224640 98021 33554432000 4194304 4196468 140730973450960 140224457186352 140225801841282 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27589] ppid=27335 vsize=13869360 CPUtime=1.77 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27589/stat : 27589 (java) R 27335 27335 7621 0 -1 4202560 66 0 0 0 177 0 0 0 20 0 28 0 3868060 14202224640 98021 33554432000 4194304 4196468 140730973450960 140224444960616 140225404624826 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27590] ppid=27335 vsize=13869360 CPUtime=1.89 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27590/stat : 27590 (java) R 27335 27335 7621 0 -1 4202560 64 0 0 0 189 0 0 0 20 0 28 0 3868060 14202224640 98021 33554432000 4194304 4196468 140730973450960 140224449172088 140225402627172 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27591] ppid=27335 vsize=13869360 CPUtime=1.75 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27591/stat : 27591 (java) R 27335 27335 7621 0 -1 4202560 99 0 0 0 175 0 0 0 20 0 28 0 3868060 14202224640 98021 33554432000 4194304 4196468 140730973450960 140224446014040 140225404071964 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27592] ppid=27335 vsize=13869360 CPUtime=1.64 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27592/stat : 27592 (java) R 27335 27335 7621 0 -1 4202560 215 0 0 0 164 0 0 0 20 0 28 0 3868060 14202224640 98021 33554432000 4194304 4196468 140730973450960 140224442854968 140225404913276 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27593] ppid=27335 vsize=13869360 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27593/stat : 27593 (java) R 27335 27335 7621 0 -1 4202560 62 0 0 0 173 0 0 0 20 0 28 0 3868060 14202224640 98021 33554432000 4194304 4196468 140730973450960 140224443907832 140225402713492 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27594] ppid=27335 vsize=13869360 CPUtime=1.95 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27594/stat : 27594 (java) R 27335 27335 7621 0 -1 4202560 65 0 0 0 195 0 0 0 20 0 28 0 3868060 14202224640 98021 33554432000 4194304 4196468 140730973450960 140224447065512 140225402592478 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27595] ppid=27335 vsize=13869360 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27595/stat : 27595 (java) R 27335 27335 7621 0 -1 4202560 256 0 0 0 199 0 0 0 20 0 28 0 3868060 14202224640 98021 33554432000 4194304 4196468 140730973450960 140223300227536 140225404088115 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
[pid=27336/tid=27596] ppid=27335 vsize=13869360 CPUtime=1.89 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27596/stat : 27596 (java) R 27335 27335 7621 0 -1 4202560 108 0 0 0 189 0 0 0 20 0 28 0 3868061 14202224640 98021 33554432000 4194304 4196468 140730973450960 140223298121816 140225402713567 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26030080 140730973459644 140730973459820 140730973459820 140730973462479 0
Current children cumulated CPU time (s) 28.8
Current children cumulated vsize (KiB) 13878872
[startup+4.30176 s]
/proc/loadavg: 15.61 15.72 13.80 17/302 27596
/proc/meminfo: memFree=29584968/32770624 swapFree=5800/239392
[pid=27335] ppid=27332 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27335/stat : 27335 (xcsp3-exec) S 27332 27335 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3867854 9740288 345 33554432000 4194304 5098028 140728309734784 140728309732888 140347729629820 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20013056 140728309736590 140728309736800 140728309736800 140728309739499 0
/proc/27335/statm: 2378 345 289 221 0 87 0
[pid=27336] ppid=27335 vsize=0 CPUtime=29.46 cores=1,3,5,7,9,11,13,15
/proc/27336/stat : 27336 (java) Z 27335 27335 7621 0 -1 4227084 31535 0 0 0 2886 60 0 0 20 0 2 0 3867854 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/27336/statm: 0 0 0 0 0 0 0
[pid=27336/tid=27344] ppid=27335 vsize=0 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/27336/task/27344/stat : 27344 (java) R 27335 27335 7621 0 -1 4203588 63 0 0 0 5 5 0 0 20 0 2 0 3867855 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 29.46
Current children cumulated vsize (KiB) 9512
Child status: 0
Real time (s): 4.30477
CPU time (s): 29.4708
CPU user time (s): 28.8637
CPU system time (s): 0.60705
CPU usage (%): 684.607
Max. virtual memory (cumulated for all children) (KiB): 13878872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.8637
system time used= 0.60705
maximum resident set size= 417280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32062
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5650
involuntary context switches= 2995
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060505 second user time and 0.057529 second system time
The end